John Derrick - Böcker

Visar alla böcker från författaren John Derrick.
11 produkter
Howard Bowman, John Derrick - Formal Methods for Open Object-based Distributed Systems, Inbunden

Inbunden, Engelska, 1997

2 789 kr

Skickas inom 7-10 vardagar
John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Inbunden

Inbunden, Engelska, 2013

1 449 kr

Skickas inom 7-10 vardagar
John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Häftad

Häftad, Engelska, 2015

1 449 kr

Skickas inom 7-10 vardagar
John Derrick, Eerke Boiten - Refinement, Häftad

Häftad, Engelska, 2019

729 kr

Skickas inom 7-10 vardagar
John Derrick, Eerke Boiten - Refinement, Inbunden

Inbunden, Engelska, 2018

729 kr

Skickas inom 7-10 vardagar
Eerke Boiten, John Derrick, Graeme Smith - Integrated Formal Methods, Häftad
Del 2999 - Lecture Notes in Computer Science

Integrated Formal Methods

Av Eerke Boiten, John Derrick, Graeme Smith

Häftad, Engelska, 2004

729 kr

Skickas inom 7-10 vardagar
John Derrick, Jüri Vain, J. Ri Vain - Formal Techniques for Networked and Distributed Systems - FORTE 2007, Häftad

Häftad, Engelska, 2007

729 kr

Skickas inom 7-10 vardagar
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad

Häftad, Engelska, 2012

729 kr

Skickas inom 7-10 vardagar