Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
  • #

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

53.49 EUR

Teilen:
Gesponsert

Specification and Verification of Declarative Open Interaction Models

SpringerLink DE
53.49 EUR
07-06-2026 19:25:11

Ähnliche Produkte

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

148.64 EUR
Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

53.49 EUR
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)

53.49 EUR
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

53.49 EUR
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

153.24 EUR
Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

42.79 EUR