Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Lectures on Formal Methods and Performance Analysis
Band 2090
Lectures on Formal Methods and Performance AnalysiseBook (PDF) + weitere
Fr. 62.90
-
Computer Aided Verification
Band 2404
Computer Aided VerificationeBook (PDF) + weitere
Fr. 125.90
-
Tools and Algorithms for the Construction and Analysis of Systems
Band 1019Ed Brinksma, W. Rance + weitere
Tools and Algorithms for the Construction and Analysis of SystemsBuch (Taschenbuch) + weitere
Fr. 72.90
von 3 Treffern werden angezeigt