Ergebnisse für: verification of proofs

Hier findest Du Bücher, die sich mit verification of proofs beschäftigen.

Buch Cover VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Springer US
213.99 € · Hardcover
...
Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
149.79 € · Hardcover
...
Buch Cover VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Springer US
213.99 € · eBook
...
Buch Cover VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Springer US
213.99 € · Paperback
...
Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
149.79 € · Paperback
...
Buch Cover Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Springer Singapore
139.09 € · eBook
...
Buch Cover Beyond Testing: The Art and Science of Formal Verification

tredition
28.49 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
51.36 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Tests and Proofs

Springer International Publishing
50.28 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
50.28 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tests and Proofs

Springer International Publishing
51.36 € · Paperback
...
Buch Cover Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems - Logics, Proofs, Applications

TUM.University Press
30 € · Paperback
...

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


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