Deductive and Declarative Programming
Peter Padawitz
Cambridge University Press, 2006
77,25 €On orderDelivery: 2-3 weeks
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
- ISBN-13
- 9780521032513
- ISBN-10
- 0521032512
- Publisher
- Cambridge University Press
- Year
- 2006
- Publication date
- 2006-11-23
- Pages
- 288
- Dimensions
- 169x245x17
- Weight
- 508