Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Dependable Software Engineering: Theories, Tools, and Applications
Band 9409
Dependable Software Engineering: Theories, Tools, and ApplicationsBuch (Taschenbuch) + weitere
49,99 €
-
Formal Aspects of Component Software
Band 8348
Formal Aspects of Component SoftwareBuch (Taschenbuch) + weitere
51,99 €
-
Foundations of Health Informatics Engineering and Systems
Band 7151
Foundations of Health Informatics Engineering and SystemsBuch (Taschenbuch)
65,99 €
-
Engineering Trustworthy Software Systems
Band 9506
Engineering Trustworthy Software SystemsBuch (Taschenbuch) + weitere
51,99 €
-
Theories of Programming and Formal Methods
Band 8051
Theories of Programming and Formal MethodsBuch (Taschenbuch) + weitere
52,99 €
-
Theoretical Aspects of Computing – ICTAC 2025
Band 16237 - 10%
Theoretical Aspects of Computing – ICTAC 2025Buch (Taschenbuch) + weitere
72,99 € UVP
81,39 €* -
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Mathematical Frameworks for Component Software: Models for Analysis and SynthesisBuch (Gebundene Ausgabe)
183,99 €
-
Unifying Theories of Programming and Formal Engineering Methods
Band 8050
Unifying Theories of Programming and Formal Engineering MethodsBuch (Taschenbuch) + weitere
52,99 €
-
Theoretical Aspects of Computing -- ICTAC 2013
Band 8049
Theoretical Aspects of Computing -- ICTAC 2013eBook (PDF) + weitere
54,99 €
-
Theoretical Aspects of Computing – ICTAC 2022
Band 13572
Theoretical Aspects of Computing – ICTAC 2022Buch (Taschenbuch) + weitere
49,99 €
-
Foundations of Health Informatics Engineering and Systems
Band 7151
Foundations of Health Informatics Engineering and SystemseBook (PDF)
49,49 €
-
Formal Methods and Software Engineering
Band 4260Zhiming Liu + weitere
Formal Methods and Software EngineeringBuch (Taschenbuch)
99,99 €
-
Theoretical Aspects of Computing - ICTAC 2007
Cliff B. Jones, Zhiming Liu + weitere
Theoretical Aspects of Computing - ICTAC 2007Buch (Taschenbuch)
51,99 €
-
Formal Methods and Hybrid Real-Time Systems
Band 4700Cliff B. Jones, Zhiming Liu + weitere
Formal Methods and Hybrid Real-Time SystemsBuch (Taschenbuch)
49,99 €
-
Domain Modeling and the Duration Calculus
Band 4710Chris George, Zhiming Liu + weitere
Domain Modeling and the Duration CalculusBuch (Taschenbuch)
51,99 €
-
Automated Technology for Verification and Analysis
Band 5799Zhiming Liu + weitere
Automated Technology for Verification and AnalysisBuch (Taschenbuch)
51,99 €
-
Theoretical Aspects of Computing - ICTAC 2004
Band 3407Zhiming Liu + weitere
Theoretical Aspects of Computing - ICTAC 2004Buch (Taschenbuch)
99,99 €
von 17 Treffern werden angezeigt