Ergebnisse für: program validation

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

Buch Cover Automated Technology for Verification and Analysis

Springer Berlin
53.49 € · eBook
...
Buch Cover Formal Methods for Industrial Critical Systems

Springer International Publishing
74.89 € · Paperback
...
Buch Cover Functional and Logic Programming

Springer International Publishing
69.54 € · eBook
...
Buch Cover Computer Aided Verification

Springer International Publishing
106.99 € · Paperback
...
Buch Cover Formal Aspects of Component Software

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
42.79 € · Paperback
...
Buch Cover Programming Languages and Systems

Springer International Publishing
69.54 € · eBook
...
Buch Cover Recent Trends in Algebraic Development Techniques

Springer Berlin
53.49 € · eBook
...
Buch Cover Dependable Software Engineering. Theories, Tools, and Applications

Springer Singapore
78.1 € · eBook
...
Buch Cover Recent Trends in Algebraic Development Techniques

Springer Berlin
53.49 € · Paperback
...
Buch Cover Trends in Functional Programming

Springer International Publishing
48.14 € · eBook
...
Buch Cover Formal Methods: Foundations and Applications

Springer International Publishing
42.8 € · Paperback
...
Buch Cover Software Engineering and Formal Methods

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer International Publishing
80.24 € · Paperback
...
Buch Cover Runtime Verification

Springer Berlin
53.49 € · Paperback
...
Buch Cover Foundations of Software Science and Computation Structures

Springer Berlin
53.49 € · eBook
...
Buch Cover Computer Aided Verification

Springer International Publishing
53.49 € · eBook
...
Buch Cover Computer Aided Verification

Springer International Publishing
53.49 € · eBook
...
Buch Cover Formal Aspects of Component Software

Springer International Publishing
53.49 € · eBook
...
Buch Cover Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing
· eBook
...

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


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