Formal Techniques for Networked and Distributed Systems FORTE 2008

Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Techniques for Networked and Distributed Systems – FORTE 2008
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 21:19:45
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2008, Fachbücher von Teruo Higashino, Kenji Suzuki, Keiichi Yasumoto, Khaled El-Fakih
Galaxus.de
53.49 EUR
Preis aktualisiert am: 18-05-2026 21:40:12
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Produkt anzeigen
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
Produkt anzeigen
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Produkt anzeigen
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)
Produkt anzeigen
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Produkt anzeigen
Menü