Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Medimops DE
180.90 EUR
Preis aktualisiert am: 04-09-2026 06:23:07
Siehe Produktangebot

Allgemein

Marke
Howard Bowman
ISBN
Howard Bowman 9780521771849

Eigenschaften

Ähnliche Produkte

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
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 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)
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 Embedded Distributed Systems
Formal Methods for Embedded Distributed Systems
Produkt anzeigen
Menü