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

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

Enregistré dans:
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

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 004.015 ABR Empruntable Disponible