1. Home
  2. Specification and Verification of Declarative Open Interaction Models
  • #

Specification and Verification of Declarative Open Interaction Models

42.79 EUR

Teilen:
Gesponsert

Specification and Verification of Declarative Open Interaction Models

SpringerLink DE
42.79 EUR
23-04-2026 20:41:06

Ähnliche Produkte

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
Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

42.79 EUR
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
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
Geometric Product Specification and Verification: Integration of Functionality

Geometric Product Specification and Verification: Integration of Functionality

160.49 EUR