Deductive and Declarative Programming

Padawitz, Peter

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
288
Parution
novembre 2006
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 15 cm
EAN
9780521032513
  • Résumé

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page