Ergebnisse für: Automated abstraction

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

Buch Cover Generating Abstraction Hierarchies

Springer US
160.49 € · Hardcover
...
Buch Cover String Analysis for Software Verification and Security

Springer International Publishing
96.29 € · Hardcover
...
Buch Cover Abstraction, Reformulation, and Approximation

Springer Berlin
53.49 € · eBook
...
Buch Cover Generating Abstraction Hierarchies

Springer US
160.49 € · Paperback
...
Buch Cover Generating Abstraction Hierarchies

Springer US
149.79 € · eBook
...
Buch Cover Abstraction, Reformulation, and Approximation

Springer Berlin
53.49 € · Paperback
...
Buch Cover String Analysis for Software Verification and Security

Springer International Publishing
69.54 € · eBook
...
Buch Cover Theory and Practice of Formal Methods

Springer International Publishing
53.49 € · Paperback
...
Buch Cover String Analysis for Software Verification and Security

Springer International Publishing
69.54 € · Paperback
...
Buch Cover FM 2016: Formal Methods

Springer International Publishing
53.49 € · eBook
...
Buch Cover Logic for Programming, Artificial Intelligence, and Reasoning

Springer Berlin
53.49 € · Paperback
...
Buch Cover Logic for Programming, Artificial Intelligence, and Reasoning

Springer Berlin
106.99 € · Paperback
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer International Publishing
53.49 € · eBook
...
Buch Cover FM 2016: Formal Methods

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Logic for Programming, Artificial Intelligence, and Reasoning

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

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Theory and Practice of Formal Methods

Springer International Publishing
53.49 € · eBook
...
Buch Cover Logic for Programming, Artificial Intelligence, and Reasoning

Springer Berlin
96.29 € · eBook
...
Buch Cover Software Engineering and Formal Methods

Springer International Publishing
€ · eBook
...

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


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