Books by Eerke Boiten

Cover of Integrated formal methods

Integrated formal methods

by Eerke Boiten, John Derrick, Graeme Smith

2004
Cover of Refinement

Refinement

by John Derrick, Eerke Boiten

2018
Cover of Refinement in Z and Object-Z

Refinement in Z and Object-Z

by John Derrick, Eerke A. Boiten

2001
Cover of Mathematics of Program Construction

Mathematics of Program Construction

by Eerke A. Boiten, Bernhard Möller

2003

Can't find the book you're looking for? Let us know — it helps us improve.