Specification and Verification of Declarative Open Interaction Models

Wo zu kaufen (1) Eigenschaften
Gesponsert
Specification and Verification of Declarative Open Interaction Models
SpringerLink DE
47.00 EUR
Preis aktualisiert am: 20-06-2026 04:11:35
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg

Eigenschaften

Ähnliche Produkte

Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Produkt anzeigen
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 Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558, Band 558)
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
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
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Produkt anzeigen
Menü