Formal Techniques for Networked and Distributed Systems FORTE 2008

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Hugendubel
53.49 EUR
Preis aktualisiert am: 22-10-2026 14:50: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: 27-10-2026 01:19:54
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems – FORTE 2008
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 25-10-2026 17:41:20
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
Aus113.14 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Aus53.49 EUR 4
Produkt anzeigen
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Aus106.99 EUR 3
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)
Aus49.98 EUR 3
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)
Aus213.99 EUR 2
Produkt anzeigen
Menü