Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47) - Hardcover

Book 29 of 40: Cambridge Tracts in Theoretical Computer Science

De Roever, Willem-Paul; Engelhardt, Kai

 
9780521641708: Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Hardcover
ISBN 10: 0521641705 ISBN 13: 9780521641708
Publisher: Cambridge University Press, 1998

Synopsis

Graduate text in formal methods in computer science.

"synopsis" may belong to another edition of this title.

Review

"The presentation of the theory is backed up by some substantial examples...and this together with the extensive historical notes makes the book an extremely useful reference manual and graduate text."

Book Description

This is a comprehensive and systematic account of the important and highly applicable method of data refinement. The authors concentrate on principles and begin with an explanation of the fundamental notions. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book is self-contained, going from advanced undergraduate level but taking the reader to the frontiers of the subject.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
1998
Language
English
ISBN 10 
0521641705
ISBN 13 
9780521641708
Binding
Hardcover
Number of pages
436

Other Popular Editions of the Same Title

9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)

Featured Edition

ISBN 10:  0521103509 ISBN 13:  9780521103503
Publisher: Cambridge University Press, 2009
Softcover