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 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51* Aktueller Preis: EUR 63,51

Artikel merken

In den Warenkorb

Menge ändern

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

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