Data Refinement
Kai (University of Technology, Sydney) Engelhardt, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Germany) de Roever
Cambridge University Press, 2008
91,50 €On orderDelivery: 2-3 weeks
Graduate text in formal methods in computer science.
- ISBN-13
- 9780521103503
- ISBN-10
- 0521103509
- Publisher
- Cambridge University Press
- Year
- 2008
- Publication date
- 2008-12-18
- Pages
- 436
- Dimensions
- 151x229x27
- Weight
- 660