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

Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Medimops DE
103.04 EUR
Preis aktualisiert am: 29-10-2026 01:23:37
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:24:11
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1354))
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1354))
Aus53.49 EUR 3
Produkt anzeigen
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Aus83.34 EUR 4
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Aus116.98 EUR 4
Produkt anzeigen
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)
Aus182.20 EUR 4
Produkt anzeigen
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)
Aus53.49 EUR 4
Produkt anzeigen
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)
Aus52.94 EUR 4
Produkt anzeigen
Menü