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
22-04-2026 22:05:25

Ähnliche Produkte

Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

53.49 EUR
Formal and Practical Aspects of Autonomic Computing and Networking

Formal and Practical Aspects of Autonomic Computing and Networking

200.20 EUR
Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

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

79.00 EUR
Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models

42.79 EUR
Geometric Product Specification and Verification: Integration of Functionality

Geometric Product Specification and Verification: Integration of Functionality

160.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