Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract InterpretationBuch (Taschenbuch)
Fr. 72.90
-
Time for Verification
Band 6200
Time for VerificationeBook (PDF)
Fr. 127.90
-
Software Reliability Methods
Doron A. Peled
Software Reliability MethodsBuch (Gebundene Ausgabe) + weitere
Fr. 73.90
-
Computer Aided Verification
Band 1633Nicolas Halbwachs + weitere
Computer Aided VerificationBuch (Taschenbuch) + weitere
Fr. 72.90
-
Automated Technology for Verification and Analysis
Doron A. Peled + weitere
Automated Technology for Verification and AnalysisBuch (Taschenbuch)
Fr. 72.90
-
Model Checking and Artificial Intelligence
Band 5348Doron A. Peled + weitere
Model Checking and Artificial IntelligenceBuch (Taschenbuch)
Fr. 103.00
-
Runtime Verification
Saddek Bensalem + weitere
Runtime VerificationBuch (Taschenbuch) + weitere
Fr. 72.90
-
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Band 2529Doron A. Peled + weitere
Formal Techniques for Networked and Distributed Systems - FORTE 2002Buch (Taschenbuch)
Fr. 72.90
von 8 Treffern werden angezeigt