Trefferliste "Verification And Formal Methods For Distributed Systems" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "verification and formal methods for distributed systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Ne…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 109,51* Aktueller Preis: EUR 109,51

Artikel merken

In den Warenkorb

Menge ändern

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science - Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27* Aktueller Preis: EUR 72,27

Artikel merken

In den Warenkorb

Menge ändern