Data Refinement ModelOriented Proof Methods and their Comparison 47 Cambridge Tracts in Theoretical Computer Science Series Number 47
£50.95
Includes FREE deliveryOrder before 4pm today for delivery by Thu 9 Jul 2026.
A Paperback by Kai Engelhardt, Kai Engelhardt
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Data Refinement ModelOriented Proof Methods and their Comparison 47 Cambridge Tracts in Theoretical Computer Science Series Number 47 by Kai Engelhardt
Publisher: Cambridge University Press
Publication Date: 18/12/2008
ISBN13: 9780521103503, 978-0521103503
ISBN10: