Formal Techniques for Distributed Objects Components and Systems

Ein praxisnahes Werk über formale Methoden für verteilte Objekte, Komponenten und Systeme, das die Prinzipien von Modellen, Logik und Verifikation a ...
Formal Techniques for Distributed
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Techniques for Distributed Objects, Components, and Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:49
Siehe Produktangebot

Allgemein

Marke
Susanne Graf
ISBN
Susanne Graf 3319191942
MPN
Susanne Graf 47 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... Notes in Computer Science, Band 11535)
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th ... Notes in Computer Science, Band 11535)
Produkt anzeigen
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
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
Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
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
Menü