Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Abstract State Machines, Alloy, B, VDM, and Z
Band 7316
Abstract State Machines, Alloy, B, VDM, and ZeBook (PDF) + weitere
Fr. 62.90
-
Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed SystemsBuch (Gebundene Ausgabe)
Fr. 239.00
-
Integrated Formal Methods
Band 7321
Integrated Formal MethodseBook (PDF) + weitere
Fr. 62.90
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Band 4574
Formal Techniques for Networked and Distributed Systems - FORTE 2007Buch (Taschenbuch)
Fr. 73.90
-
Refinement
John Derrick + weitere
RefinementeBook (PDF) + weitere
Fr. 62.90
-
Refinement in Z and Object-Z
Eerke Boiten + weitere
Refinement in Z and Object-ZBuch (Taschenbuch) + weitere
Fr. 190.00
-
The Confederate Experience Reader
John Derrick (Kennesaw State University, U. Fowler
The Confederate Experience ReaderBuch (Gebundene Ausgabe) + weitere
Fr. 169.00
-
Formal Methods for Distributed Processing
Howard (University of Kent, Canterbury) De Bowman
Formal Methods for Distributed ProcessingBuch (Gebundene Ausgabe) + weitere
Fr. 209.00
von 8 Treffern werden angezeigt