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

Our price: £38.00
List price: £40.00
You save: 5%

Usually ships within 2 weeks.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Data Refinement

Graduate text in formal methods in computer science.

Related links:

Willem-Paul De Roever
Kai Engelhardt
Mathematical theory of computation
General theory of computing
Computing and information technology
Cambridge University Press

More information from Wikipedia:

Willem-Paul De Roever
Kai Engelhardt
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Oriental art

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |