Ergebnisse für: temporal specifications

Hier findest Du Bücher, die sich mit temporal specifications beschäftigen.

Buch Cover Temporal Logic

Springer Berlin
106.99 € · Paperback
...
Buch Cover Temporal Logic

Springer Berlin
96.29 € · eBook
...
Buch Cover Executable Modal and Temporal Logics

Springer Berlin
53.49 € · eBook
...
Buch Cover Executable Modal and Temporal Logics

Springer Berlin
53.49 € · Paperback
...
Buch Cover From Software Engineering to Formal Methods and Tools, and Back

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

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

Springer Berlin
53.49 € · Paperback
...
Buch Cover Runtime Verification

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

Springer Berlin
53.49 € · eBook
...
Buch Cover Quantitative Evaluation of Systems

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Models, Algorithms, Logics and Tools

Springer International Publishing
53.49 € · eBook
...
Buch Cover NASA Formal Methods

Springer International Publishing
53.49 € · eBook
...
Buch Cover Runtime Verification

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Quantitative Evaluation of Systems

Springer International Publishing
53.49 € · eBook
...
Buch Cover Models, Mindsets, Meta: The What, the How, and the Why Not?

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Automated Technology for Verification and Analysis

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

Springer International Publishing
53.49 € · eBook
...
Buch Cover Formal Modeling and Analysis of Timed Systems

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

Springer Berlin
53.49 € · Paperback
...
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