10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, December of 2008 ‧
77,06€
10% OFF CARD
free shipping
Sell ​​your book
Graduate text in formal methods in computer science.

Data Refinement

Model-Oriented Proof Methods And Their Comparison

by Kai (University Of Technology, Sydney) Engelhardt e Willem-Paul (Christian-Albrechts Universitat Zu Kiel, Germany) De Roever

Property Description
ISBN: 9780521103503
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: December of 2008
Language: English
Cover: Softcover
Pages: 436
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Other Applications
Books in English > Computing > Introduction to Computing
Books in English > Others
EAN: 9780521103503