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

Wo zu kaufen (4) Eigenschaften
Gesponsert
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Medimops DE
83.34 EUR
Preis aktualisiert am: 28-10-2026 16:02:46
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs
Hugendubel
85.49 EUR
Preis aktualisiert am: 29-10-2026 11:10:28
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs, Fachbücher von Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Galaxus.de
85.59 EUR
Preis aktualisiert am: 29-10-2026 10:18:22
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 28-10-2026 06:24:11
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus123.04 EUR 3
Produkt anzeigen
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Aus49.00 EUR 3
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
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))
Aus53.49 EUR 3
Produkt anzeigen
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Aus103.04 EUR 2
Produkt anzeigen
Menü