Verification And Formal Methods For Distributed Systems

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

Lecture Notes in Computer Science -Band 14678

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 71,19*

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*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.

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

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