Ergebnisse für: Interactive Theorem Proofs

Hier findest Du Bücher, die sich mit Interactive Theorem Proofs beschäftigen.

Buch Cover Interactive Theorem Proving

Springer Berlin
96.29 € · eBook
...
Buch Cover Interactive Theorem Proving

Springer Berlin
106.99 € · Paperback
...
Buch Cover Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Springer International Publishing
69.54 € · Paperback
...
Buch Cover Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Springer International Publishing
69.54 € · eBook
...
Buch Cover Formal Approaches to Software Testing

Springer Berlin
53.49 € · eBook
...
Buch Cover Formal Approaches to Software Testing

Springer Berlin
53.49 € · Paperback
...

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


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