Ergebnisse für: Program Verification

Hier findest Du Bücher, die sich mit Program Verification beschäftigen.

Buch Cover Logic Based Program Synthesis and Transformation

Springer Berlin
53.49 € · Paperback
...
Buch Cover Logic Based Program Synthesis and Transformation

Springer Berlin
53.49 € · Paperback
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
53.49 € · eBook
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
60.98 € · eBook
...
Buch Cover Introducing Software Verification with Dafny Language

APRESS
35.3 € · Paperback
...
Buch Cover Introducing Software Verification with Dafny Language

APRESS
34.99 € · eBook
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer Berlin
53.49 € · eBook
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
53.49 € · eBook
...
Buch Cover Logic Based Program Synthesis and Transformation

Springer Berlin
53.49 € · eBook
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer Berlin
53.49 € · Paperback
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
80.24 € · eBook
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
62.05 € · Paperback
...
Buch Cover Logic-Based Program Synthesis and Transformation

Springer International Publishing
58.84 € · eBook
...
Buch Cover Tools and Methods of Program Analysis

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Logic-Based Program Synthesis and Transformation

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

Springer International Publishing
69.54 € · eBook
...
Buch Cover Verification of Sequential and Concurrent Programs

Springer US
85.59 € · eBook
...
Buch Cover Automated Technology for Verification and Analysis

Springer International Publishing
85.59 € · eBook
...
Buch Cover Software Fault Prevention, Verification, and Validation

Springer Singapore
69.54 € · eBook
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer Berlin
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