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 (3) Eigenschaften
Gesponsert
Automatic Verification of Sequential Infinite-State Processes
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:14:35
Siehe Produktangebot
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: 28-10-2026 22:17:05
Siehe Produktangebot
Gesponsert
Automatic Verification of Sequential Infinite-State Processes
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:33
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
Aus53.49 EUR 3
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
Aus66.74 EUR 3
Produkt anzeigen
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
Aus38.94 EUR 2
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
Aus28.10 EUR 2
Produkt anzeigen
Menü