Data Refinement: Model-Oriented Proof Methods and their Comparison download pdf, epub
Par smith michelle le jeudi, février 22 2018, 01:49 - Lien permanent
Willem-Paul De Roever,Kai Engelhardt: Data Refinement: Model-Oriented Proof Methods and their Comparison
____________________________
Author: Willem-Paul De Roever,Kai Engelhardt
Number of Pages: 436 pages
Published Date: 18 Dec 2008
Publisher: CAMBRIDGE UNIVERSITY PRESS
Publication Country: Cambridge, United Kingdom
Language: English
ISBN: 9780521103503
Download Link: Click Here
____________________________