Deductive and declarative programming
Auteur :
Padawitz, Peter
Éditeur :
Cambridge University Press
ISBN :
9780521032513
Date de publication :
23 nov. 2006
Dimensions :
22,8 x 15,2 x 1,7 cm
Poids :
469 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.