10% OFF
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, December of 1998 ‧
177,10€
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: 9780521641708
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: December of 1998
Language: English
Cover: Hardcover
Pages: 436
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Database
Books in English > Computing > Introduction to Computing
EAN: 9780521641708