Automatic Verification Methods for Finite State Systems

Wo zu kaufen (2) Eigenschaften
Gesponsert
Automatic Verification Methods for Finite State Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 16-06-2026 04:56:59
Siehe Produktangebot
Gesponsert
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science, 407, Band 407)
Medimops DE
53.49 EUR
Preis aktualisiert am: 15-06-2026 22:03:50
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540521488
MPN
Springer Berlin Heidelberg 6902867

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 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
Scientific Computation with Automatic Result Verification
Scientific Computation with Automatic Result Verification
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ü