Ergebnisse für: Deductive Verification

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

Buch Cover Symbolic Execution as a Framework for Deductive Verification of Object-Oriented Programs

sierke VERLAG - Sierke WWS GmbH
32 € · Paperback
...
Buch Cover Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

KIT Scientific Publishing
32.5 € · Paperback
...
Buch Cover Deductive Program Design

Springer Berlin
213.99 € · Hardcover
...
Buch Cover Formal Verification of Simulink/Stateflow Diagrams

Springer International Publishing
123.04 € · Hardcover
...
Buch Cover Deductive Software Verification: Future Perspectives

Springer International Publishing
53.49 € · eBook
...
Buch Cover Deductive Software Verification: Future Perspectives

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Deductive Software Verification – The KeY Book

Springer International Publishing
128.39 € · Paperback
...
Buch Cover Deductive Software Verification – The KeY Book

Springer International Publishing
117.69 € · eBook
...
Buch Cover Deductive Program Design

Springer Berlin
213.99 € · Paperback
...
Buch Cover Formal Verification of Simulink/Stateflow Diagrams

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

Springer Berlin
53.49 € · Paperback
...
Buch Cover Formal Verification of Simulink/Stateflow Diagrams

Springer International Publishing
117.69 € · eBook
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer Berlin
53.49 € · eBook
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

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

Springer Berlin
53.49 € · eBook
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

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

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

Springer Berlin
53.49 € · eBook
...
Buch Cover Verification, Model Checking, and Abstract Interpretation

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Verification of Object-Oriented Software. The KeY Approach

Springer Berlin
96.29 € · eBook
...

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


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