Data Refinement
Model-Oriented Proof Methods and their Comparison
Inbunden, Engelska, 1998
Av Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, W. Deroever, W. -P De Roever, Kai Englehardt
2 219 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
Graduate text in formal methods in computer science.
Produktinformation
- Utgivningsdatum1998-12-03
- Mått159 x 236 x 32 mm
- Vikt845 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor436
- FörlagCambridge University Press
- ISBN9780521641708