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 |
| Publication date: | 2006-11-23 |
| Edition description: | New Ed edition |
| Pages: | 288 |
| Product dimensions: | Height: 9.61 Inches, Length: 6.69 Inches, Weight: 1.03396800878 Pounds, Width: 0.65 Inches |
| Author: | P. Padawitz, Peter Padawitz |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
Be the first to review this book!
