Specification and Verification of Multi-agent Systems

Specification and Verification of
Wo zu kaufen (1) Eigenschaften
Gesponsert
Specification and Verification of Multi-agent Systems, Fachbücher von Mehdi Dastani, John-Jules Meyer, Koen V. Hindriks
Galaxus.de
160.49 EUR
Preis aktualisiert am: 27-06-2026 07:15:02
Siehe Produktangebot

Allgemein

Marke
Mehdi Dastani
ISBN
Mehdi Dastani 1489990887
MPN
Mehdi Dastani biography

Eigenschaften

Ähnliche Produkte

Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
Produkt anzeigen
Specification and Verification of Multi-Agent Systems
Specification and Verification of Multi-Agent Systems
Produkt anzeigen
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (Premier Reference Source)
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (Premier Reference Source)
Produkt anzeigen
Geometric Product Specification and Verification: Integration of Functionality
Geometric Product Specification and Verification: Integration of Functionality
Produkt anzeigen
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications
Produkt anzeigen
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
Produkt anzeigen
Menü