Verification of Sequential and Concurrent Programs (Texts in Computer Science) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification of Sequential and Concurrent Programs (Texts in Computer Science)
  • #

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

118.00 EUR 103.04 EUR 13% Off

Teilen:
Gesponsert

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Medimops DE
103.04 EUR
03-11-2026 14:34:41
Gesponsert

Verification of Sequential and Concurrent Programs

SpringerLink DE
118.00 EUR
03-11-2026 18:14:46

Ähnliche Produkte

Verification of the Biological and Toxin Weapons Convention (Nato Science Partnership Subseries: 1, 32, Band 32)

Verification of the Biological and Toxin Weapons Convention (Nato Science Partnership Subseries: 1, 32, Band 32)

182.20 EUR
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

83.34 EUR
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

116.98 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

52.94 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, ... Notes in Computer Science, Band 8802)

53.49 EUR
Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

53.49 EUR