Ergebnisse für: Abstraction Refinement

Hier findest Du Bücher, die sich mit Abstraction Refinement beschäftigen.

Buch Cover Abstraction Refinement for Large Scale Model Checking

Springer US
106.99 € · Hardcover
...
Buch Cover Abstraction Refinement for Large Scale Model Checking

Springer US
96.29 € · eBook
...
Buch Cover Abstraction Refinement for Large Scale Model Checking

Springer US
119.99 € · Paperback
...
Buch Cover Abstraction, Refinement and Proof for Probabilistic Systems

Springer US
160.49 € · Hardcover
...
Buch Cover Abstraction, Refinement and Proof for Probabilistic Systems

Springer US
160.49 € · Paperback
...
Buch Cover Abstraction, Refinement and Proof for Probabilistic Systems

Springer US
149.79 € · eBook
...
Buch Cover Path Predicate Abstraction

Shaker
45.8 € · Paperback
...
Buch Cover Modular Compiler Verification

Springer Berlin
53.49 € · Paperback
...
Buch Cover Modular Compiler Verification

Springer Berlin
53.49 € · eBook
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer Berlin
53.49 € · eBook
...
Buch Cover FME 2003: Formal Methods

Springer Berlin
96.29 € · eBook
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
...
Buch Cover Model Checking Software

Springer International Publishing
53.5 € · Paperback
...
Buch Cover Software Engineering and Formal Methods

Springer International Publishing
53.49 € · eBook
...
Buch Cover Software Engineering and Formal Methods

Springer International Publishing
53.49 € · Paperback
...
Buch Cover FME 2003: Formal Methods

Springer Berlin
106.99 € · Paperback
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
...
Buch Cover Model Checking Software

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
· eBook
...
Buch Cover Automatic verification of behavior preservation at the transformation level for relational model transformation

Universitätsverlag Potsdam
0 € · Paperback
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden