Data Refinement
Model-Oriented Proof Methods and their Comparison
Häftad, Engelska, 2008
Av Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, Willem-Paul de Roever, Kai Engelhardt
969 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
- Utgivningsdatum2008-12-18
- Mått229 x 151 x 27 mm
- Vikt660 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor436
- FörlagCambridge University Press
- ISBN9780521103503