Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1354))

Of Sequential Infinite-State Processes
Wo zu kaufen (2) Eigenschaften
Gesponsert
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1354, Band 1354)
Medimops DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 22:04:00
Siehe Produktangebot
Gesponsert
Automatic Verification of Sequential Infinite-State Processes
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 04:57:13
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automatic Speaker Verification using Artificial Neural Networks: A Potential Application of Artificial Neural Networks
Automatic Speaker Verification using Artificial Neural Networks: A Potential Application of Artificial Neural Networks
Produkt anzeigen
Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
Produkt anzeigen
Dill, David L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Dill, David L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Produkt anzeigen
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Produkt anzeigen
Mayer, Günter: Interval Analysis
Mayer, Günter: Interval Analysis
Produkt anzeigen
Menü