Details of Book: Data Refinement: Model-oriented Proof Methods And Their Comparison Book: Data Refinement: Model-oriented Proof Methods And Their Comparison
Author: Willem-paul De Roever, Kai Engelhardt
ISBN: 0521103509
ISBN-13: 9780521103503
, 978-0521103503
Binding: Paperback
Publishing Date: 18122008
Publisher: Cambridge University Press
Number of Pages: 436
Language: English