Buy Used and New Eerke A. Boiten Books

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick,Eerke A. Boiten

ISBN 13: 9781447153542

Format: Hardcover (512 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Refinement in Z and Object-Z: Foundations and Advanced Applications

by John Derrick,Eerke A. Boiten

ISBN 13: 9781447161677

Format: Paperback (512 pages)
Publisher: Springer
Published: 23 Aug 2015

Save for later