The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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

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

by Willem-PauldeRoever (Author), KaiEngelhardt (Author)

Synopsis

Graduate text in formal methods in computer science.

$152.21

Quantity

20+ in stock

More Information

Format: Hardcover
 Pages: 436
 Publisher: Cambridge University Press
Published: 03 Dec 1998
ISBN 10: 0521641705
ISBN 13: 9780521641708