Ergebnisse für: Automated Program Development

Hier findest Du Bücher, die sich mit Automated Program Development 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 € · eBook
...
Buch Cover Securing the System: Formal Methods for Error-Free Software

tredition
28.39 € · Paperback
...
Buch Cover Building Bulletproof Software: How Formal Verification Saves the Day

tredition
28.39 € · Paperback
...
Buch Cover Algebraic Methodology and Software Technology (AMAST'91)

Springer Berlin
61.5 € · Paperback
...

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


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