Ergebnisse für: Programm Verification

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

Buch Cover Logics and Models of Concurrent Systems

Springer Berlin
139.09 € · Hardcover
...
Buch Cover VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Springer Berlin
53.49 € · eBook
...
Buch Cover Algebraic Specification Techniques in Object Oriented Programming Environments

Springer Berlin
53.49 € · eBook
...
Buch Cover Static Analysis

Springer International Publishing
87.73 € · Paperback
...
Buch Cover VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Springer Berlin
96.29 € · eBook
...
Buch Cover Theoretical Aspects of Computing -- ICTAC 2011

Springer Berlin
53.49 € · Paperback
...
Buch Cover Static Analysis

Springer International Publishing
85.59 € · eBook
...
Buch Cover Logics and Models of Concurrent Systems

Springer Berlin
106.99 € · Paperback
...
Buch Cover Theoretical Aspects of Computing -- ICTAC 2011

Springer Berlin
53.49 € · eBook
...
Buch Cover VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Springer Berlin
53.49 € · Paperback
...
Buch Cover Logics and Models of Concurrent Systems

Springer Berlin
96.29 € · eBook
...
Buch Cover VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Springer Berlin
106.99 € · Paperback
...
Buch Cover Algebraic Specification Techniques in Object Oriented Programming Environments

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