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)

Dieses Buch liefert einen tiefgehenden Überblick über formale Methoden für verteilte Systeme, präsentiert neue Konzepte der IFIP TC6 WG6.1-Konfere ...
For Distributed System Development
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Methods for Distributed System Development, Fachbücher von Diego Latella, Tommaso Bolognesi
Galaxus.de
213.99 EUR
Preis aktualisiert am: 06-07-2026 12:49:36
Siehe Produktangebot

Allgemein

Marke
Tommaso Bolognesi
ISBN
Tommaso Bolognesi 1475752644
MPN
Tommaso Bolognesi 3 black & white illustrations, biography

Eigenschaften

Ähnliche Produkte

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 81, Band 81)
Produkt anzeigen
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 10, Band 10)
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 10, Band 10)
Produkt anzeigen
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99 (IFIP Advances in Information and Communication Technology, 28, Band 28)
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99 (IFIP Advances in Information and Communication Technology, 28, Band 28)
Produkt anzeigen
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Produkt anzeigen
Formal Methods for Embedded Distributed Systems: How to master the complexity
Formal Methods for Embedded Distributed Systems: How to master the complexity
Produkt anzeigen
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 49, Band 49)
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... and Communication Technology, 49, Band 49)
Produkt anzeigen
Menü