Deductive and Declarative Programming
Häftad, Engelska, 2006
809 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Produktinformation
- Utgivningsdatum2006-11-23
- Mått152 x 228 x 17 mm
- Vikt469 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor288
- FörlagCambridge University Press
- ISBN9780521032513