Ergebnisse für: Predicate abstraction

Hier findest Du Bücher, die sich mit Predicate abstraction beschäftigen.

Buch Cover Path Predicate Abstraction

Shaker
45.8 € · Paperback
...
Buch Cover Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

KIT Scientific Publishing
32.5 € · Paperback
...
Buch Cover Model Checking Software

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

Springer International Publishing
53.49 € · eBook
...

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


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