Main image
Click to view image in fullscreen
![]()
Deductive and Declarative Programming
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
500,00 DH
En stock
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
| ISBN / EAN | 9780521032513 |
|---|---|
| Auteur | Padawitz, Peter |
| Editeur | Cambridge University Press |