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: 28-09-2026 14:49:00
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
Aus148.74 EUR 4
Produkt anzeigen
Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models
Aus42.79 EUR 2
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)
Aus53.49 EUR 3
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)
Aus53.49 EUR 3
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
Aus53.49 EUR 3
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
Aus153.34 EUR 2
Produkt anzeigen
Menü