Data Refinement
Kai (University of Technology, Sydney) Engelhardt, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germany) de Roever
Cambridge University Press, 1998
198,25 €On orderDelivery: 2-3 weeks
Graduate text in formal methods in computer science.
- ISBN-13
- 9780521641708
- ISBN-10
- 0521641705
- Publisher
- Cambridge University Press
- Year
- 1998
- Publication date
- 1998-12-03
- Pages
- 436
- Dimensions
- 236x159x32
- Weight
- 845