Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522, Band 1522)

Allgemein

Marke
Springer

Eigenschaften

Menü