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 809 kr

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

Inbunden, Engelska, 2013

1 459 kr

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

Häftad, Engelska, 2015

1 459 kr

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

Häftad, Engelska, 2019

739 kr

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

Inbunden, Engelska, 2018

739 kr

Skickas inom 10-15 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

739 kr

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

Häftad, Engelska, 2007

739 kr

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

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar