Ergebnisse für: Timed Automata

Hier findest Du Bücher, die sich mit Timed Automata beschäftigen.

Buch Cover Advances in Verification of Time Petri Nets and Timed Automata

Springer Berlin
160.49 € · Hardcover
...
Buch Cover Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

Mensch & Buch
24 € · Paperback
...
Buch Cover Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata

Logos Berlin
34 € · Paperback
...
Buch Cover Advances in Verification of Time Petri Nets and Timed Automata

Springer Berlin
160.49 € · Paperback
...
Buch Cover A Journey from Process Algebra via Timed Automata to Model Learning

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Advances in Verification of Time Petri Nets and Timed Automata

Springer Berlin
149.79 € · eBook
...
Buch Cover Modeling and Solution of Chemical Batch Scheduling Problems Using Timed Automata

Shaker
49.8 € · Buch
...
Buch Cover Reactive Scheduling Using Timed Automata Models and Integration with Sequential Control Logic

Shaker
49.8 € · Paperback
...
Buch Cover A Journey from Process Algebra via Timed Automata to Model Learning

Springer International Publishing
53.49 € · eBook
...
Buch Cover A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata

Logos Berlin
45 € · Paperback
...
Buch Cover Scalable compatibility for embedded real-time components via language progressive timed automata

Universitätsverlag Potsdam
0 € · Paperback
...
Buch Cover Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata

Universitätsverlag Potsdam
0 € · Paperback
...
Buch Cover The Theory of Timed I/O Automata

Springer International Publishing
32.99 € · eBook
...
Buch Cover The Theory of Timed I/O Automata, Second Edition

Springer International Publishing
35.3 € · Paperback
...
Buch Cover The Theory of Timed I/O Automata, Second Edition

Springer International Publishing
35.3 € · eBook
...
Buch Cover Operational Semantics for Timed Systems

Springer Berlin
53.49 € · Paperback
...
Buch Cover Operational Semantics for Timed Systems

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

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

Springer Berlin
53.49 € · Paperback
...
Buch Cover Formal Modeling and Analysis of Timed Systems

Springer International Publishing
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