Buy Used and New KaiEngelhardt Books

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Kai Engelhardt

ISBN 13: 9780521641708

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 03 Dec 1998

Save for later

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

by Willem-Paul de Roever, Kai Engelhardt

ISBN 13: 9780521103503

Format: Paperback (436 pages)
Publisher: Cambridge University Press
Published: 18 Dec 2008
Other Format: Hardcover

Save for later