Placeholder text
Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science)
By W. Deroever
Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science)
By W. Deroever
0 - Default Title
Product details
Edition:
1
Number of Pages:
436
Release Date:
1999-01-01
Publication Date:
1999-01-01
Publisher:
Cambridge University Press
Languages:
Published:
English,
Original:
English
ISBN10:
05216417050304350087
GPSR Manufacturer Reference:
Weight:
839 g
Currently sold out