Roever Willem-Paul De, Engelhardt Kai:
Data Refinement
Model-Oriented Proof Methods And Their Comparison
Cambridge University Press (United Kingdom), 2009
Paperback, 436 pages
Size: 229x152 mm
ISBN: 9780521103503
ISBN-10: 0521103509
List price: £40.00
You save: 5%
Data Refinement
Graduate text in formal methods in computer science.

