Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166, Band 1166)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166, Band 1166)
Medimops DE
53.49 EUR
Preis aktualisiert am: 05-06-2026 07:50:39
Siehe Produktangebot
Gesponsert
Formal Methods in Computer-Aided Design
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 05-06-2026 03:03:08
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, ... Notes in Computer Science, Band 11245)
Produkt anzeigen
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... Notes in Computer Science, Band 12028)
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... Notes in Computer Science, Band 12028)
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Leveraging Applications of Formal Methods Verification and Validation. Modeling
Produkt anzeigen
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)
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)
Produkt anzeigen
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Computer-aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Produkt anzeigen
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Produkt anzeigen
Menü