Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

Wo zu kaufen (1) Eigenschaften
Gesponsert
Specification and Verification of Declarative Open Interaction Models
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 19-06-2026 19:03:19
Siehe Produktangebot

Allgemein

ISBN
364214537X
MPN
97 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Produkt anzeigen
Geometric Product Specification and Verification: Integration of Functionality: Selected Conference Papers of the 7th CIRP International Seminar on ... de Cachan, France, 24–25 April 2001
Geometric Product Specification and Verification: Integration of Functionality: Selected Conference Papers of the 7th CIRP International Seminar on ... de Cachan, France, 24–25 April 2001
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
Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999
"Design, Specification and Verification of Interactive Systems '99": Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999
Produkt anzeigen
Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models
Produkt anzeigen
Menü