Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Time for Verification
Band 6200
Time for VerificationeBook (PDF)
96,29 €
-
Temporal Verification of Reactive Systems
- 13%Zohar Manna + weitere
Temporal Verification of Reactive SystemsBuch (Taschenbuch) + weitere
101,99 € UVP
117,69 €* -
The Calculus of Computation
Aaron R. Bradley + weitere
The Calculus of ComputationeBook (PDF) + weitere
53,49 €
-
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna + weitere
The Temporal Logic of Reactive and Concurrent SystemseBook (PDF) + weitere
53,49 €
-
Mathematical Theory of Computation
Zohar Manna
Mathematical Theory of ComputationBuch (Taschenbuch)
23,99 €
von 5 Treffern werden angezeigt