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
ISBN 13: 9781447161677
Format: Paperback (512 pages) Publisher: Springer Published: 23 Aug 2015
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