Detalls del llibre
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Llegir més - Autor/a Peter Padawitz
- ISBN13 9780521032513
- ISBN10 0521032512
- Pàgines 288
- Any Edició 2006
- Fecha de publicación 23/11/2006
- Idioma Alemany, Francès
Ressenyes i valoracions
Deductive and Declarative Programming (Alemany, Francès)
- De
- Peter Padawitz
- 9780521032513



