Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)

Ein umfassendes Sammelwerk der FORTE‑Konferenz 2002 aus Houston, das neue Ansätze zur formalen Modellierung, Analyse und Verifikation vernetzter Sy ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)
Medimops DE
52.94 EUR
Preis aktualisiert am: 09-05-2026 18:59:36
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2002
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 09-05-2026 18:40:27
Siehe Produktangebot
Gesponsert
Formal Techniques for Networked and Distributed Systems - FORTE 2002, Fachbücher von Doron A. Peled, Moshe Y. Vardi
Galaxus.de
53.49 EUR
Preis aktualisiert am: 09-05-2026 11:46:48
Siehe Produktangebot

Allgemein

Marke
Peled, Doron A.
ISBN
Peled, Doron A. 3540001417
MPN
Peled, Doron A. Illustrations

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 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
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... Notes in Computer Science, Band 12136)
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th ... Notes in Computer Science, Band 12136)
Produkt anzeigen
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... Notes in Computer Science, Band 12719)
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th ... Notes in Computer Science, Band 12719)
Produkt anzeigen
Menü