Handbook of logic in computer science : 2 : background : computational structures

Handbook of logic in computer science : 2 background : computational structures

Détails bibliographiques
Autres auteurs : Abramsky Samson (Éditeur scientifique), Gabbay Dov M. (Éditeur scientifique), Maibaum Thomas S. E (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Handbook of logic in computer science. 2, background : computational structures / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
Publié : Oxford : Clarendon press , 1992
Description matérielle : 1 vol. (X-571 p.)
Sujets :
Ordinateurs > Programmation
Programmation logique
Chargement en cours