Ergebnisse für: mechanized program verification

Hier findest Du Bücher, die sich mit mechanized program verification beschäftigen.

Buch Cover Artificial Intelligence and Symbolic Computation

Springer International Publishing
51.36 € · Paperback
...
Buch Cover Artificial Intelligence and Symbolic Computation

Springer International Publishing
50.28 € · eBook
...

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


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