Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Tools and Algorithms for the Construction and Analysis of Systems
Band 7795
Tools and Algorithms for the Construction and Analysis of SystemseBook (PDF) + weitere
53,49 €
-
Hardware and Software: Verification and Testing
Band 9434
Hardware and Software: Verification and TestingeBook (PDF) + weitere
50,28 €
-
Extending Temporal Logic with Omega-automata
- 10%Nir Piterman
Extending Temporal Logic with Omega-automataBuch (Taschenbuch)
43,99 € UVP
49,00 €*
von 3 Treffern werden angezeigt