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

Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition
Medimops DE
74.98 EUR
Preis aktualisiert am: 06-09-2026 23:26:59
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs, Fachbücher von Frank S de Boer, Ernst-Rüdiger Olderog, Krzysztof R. Apt
Galaxus.de
85.59 EUR
Preis aktualisiert am: 06-09-2026 07:23:22
Siehe Produktangebot
Gesponsert
Verification of Sequential and Concurrent Programs
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 07-09-2026 11:17:45
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
Produkt anzeigen
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
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
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Menü