Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 (IFIP Advances in Information and Communication Technology, 28, Band 28)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii / Pstv Xix'99 (IFIP Advances in Information and Communication Technology, 28, Band 28)
Medimops DE
197.34 EUR
Preis aktualisiert am: 30-08-2026 09:25:16
Siehe Produktangebot
Gesponsert
Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher von Jianping Wu, Samuel T. Chanson, Quiang Gao
Galaxus.de
213.99 EUR
Preis aktualisiert am: 29-08-2026 22:55:41
Siehe Produktangebot
Gesponsert
Formal Methods for Protocol Engineering and Distributed Systems
SpringerLink DE
213.99 EUR
Preis aktualisiert am: 30-08-2026 08:03:57
Siehe Produktangebot

Allgemein

Marke
Jianping Wu
ISBN
Jianping Wu 1475752709
MPN
Jianping Wu 27 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Formal Methods and Stochastic Models for Performance Evaluation
Formal Methods and Stochastic Models for Performance Evaluation
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Produkt anzeigen
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers ... Computer and Information Science, Band 1301)
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers ... Computer and Information Science, Band 1301)
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001: Formal Methods for Increasing Software Productivity
Produkt anzeigen
Menü