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

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

New
Hardcover
1998
$169.78

Graduate text in formal methods in computer science.

Synopsis

Graduate text in formal methods in computer science.

$169.78

Quantity

20 in stock

More Information

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

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

New

$169.78

Synopsis

$169.78

More Information