Releases von John Derrick

Alle6
Gebundenes Buch2
Taschenbuch4

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for John Derrick · Refinement: Semantics, Languages and Applications (Taschenbuch) [Softcover Reprint of the Original 1st 2018 edition] (2019)

Softcover Reprint of the Original 1st 2018 edition

Refinement: Semantics, Languages... (2019)

Cover for John Derrick · Refinement: Semantics, Languages and Applications (Gebundenes Buch) [1st ed. 2018 edition] (2018)

Gebundenes Buch

1st ed. 2018 edition

Refinement: Semantics, Languages... (2018)

Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Taschenbuch) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)

Softcover reprint of the original 2nd ed. 2014 edition

Refinement in Z and Object-Z: Fo... (2015)

Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Gebundenes Buch) [2nd ed. 2014 edition] (2013)

Gebundenes Buch

2nd ed. 2014 edition

Refinement in Z and Object-Z: Fo... (2013)

Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Taschenbuch) [2012 edition] (2012)

Abstract State Machines, Alloy, ... (2012)

Cover for John Derrick · Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2007 edition] (2007)

Formal Techniques for Networked ... (2007)