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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Medimops DE
99.52 EUR
Preis aktualisiert am: 06-09-2026 23:56:14
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs, Fachbücher von Ernst-Rüdiger Olderog, Krzysztof R. Apt, Frank S. Boer
Galaxus.de
106.99 EUR
Preis aktualisiert am: 06-09-2026 08:31:50
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 07-09-2026 11:17:45
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Produkt anzeigen
Formal System Verification: State-of the-Art and Future Trends
Formal System Verification: State-of the-Art and Future Trends
Produkt anzeigen
Verifying Calculations
Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations (SpringerBriefs in Applied Sciences and Technology)
Produkt anzeigen
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))
Produkt anzeigen
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Produkt anzeigen
Menü