Be Charmed by These Bewitching Books from 2025

Data Refinement > Editions

collapse details

by Willem-Paul de Roever First published December 3rd 1998

Sort by
Format
Language
Editions
Showing 1-3 of 3
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Published January 28th 1999 by Cambridge University Press
1, Hardcover, 436 pages
Author(s):
ISBN:
9780521641708 (ISBN10: 0521641705)
ASIN:
0521641705
Edition language:
English
Average rating:
3.67 (3 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Published December 18th 2008 by Cambridge University Press
1, Paperback, 436 pages
Author(s):
ISBN:
9780521103503 (ISBN10: 0521103509)
ASIN:
0521103509
Edition language:
English
Average rating:
4.00 (1 rating)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever (1999-01-28)
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) by Willem-Paul de Roever (1999-01-28)
Published January 1st 1656 by Cambridge University Press; 1 edition (1999-01-28)
Hardcover
Author(s):
ASIN:
B01FKT3X4K
Average rating:
0.0 (0 ratings)
less detail
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page