Formal Techniques for Networked and Distributed Systems - FORTE 2007

Ein Fachband aus der FORTE 2007-Konferenz, der sich mit formalen Methoden für verteilte Netzwerke beschäftigt; er präsentiert neue Theorien zur M ...
Computer Science
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 12:45:34
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2007
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 18-05-2026 21:19:51
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2007, Fachbücher von John Derrick, Jüri Vain
Galaxus.de
53.49 EUR
Preis aktualisiert am: 18-05-2026 21:41:01
Siehe Produktangebot

Allgemein

Marke
John Derrick
ISBN
John Derrick 3540731954
MPN
John Derrick biography

Eigenschaften

Ähnliche Produkte

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Produkt anzeigen
Drechsler, Rolf: Design for Testability, Debug and Reliability
Drechsler, Rolf: Design for Testability, Debug and Reliability
Produkt anzeigen
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Produkt anzeigen
Formal Techniques for Networked and Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Produkt anzeigen
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
Menü