Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Active Object Languages: Current Research Trends
Band 14360
Active Object Languages: Current Research TrendsBuch (Taschenbuch) + weitere
73,99 €
-
Formal Methods for Components and Objects
Band 7542
Formal Methods for Components and ObjectsBuch (Taschenbuch) + weitere
49,99 €
-
Coordination Models and Languages
Band 12717
Coordination Models and LanguagesBuch (Taschenbuch) + weitere
49,99 €
-
Integrated Formal Methods
Band 16194
Integrated Formal MethodseBook (PDF) + weitere
69,54 €
-
Formal Verification of Object-Oriented Software
Band 7421
Formal Verification of Object-Oriented SoftwareBuch (Taschenbuch) + weitere
46,99 €
-
Formal Methods for Executable Software Models
Band 8483
Formal Methods for Executable Software ModelseBook (PDF) + weitere
53,49 €
-
Types for Proofs and Programs
Band 3085Stefano Berardi, Mario Coppo + weitere
Types for Proofs and ProgramsBuch (Taschenbuch) + weitere
49,99 €
von 7 Treffern werden angezeigt