Handbook of logic in computer science : 1 : Background : mathematical structures

Handbook of logic in computer science : 1 Background : mathematical 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. 1, Background : mathematical structures / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum; volume co-ordinator Dov M. Gabbay
Publié : Oxford : Clarendon , cop. 1992
Description matérielle : 1 vol. (XII-827 p.)
Sujets :
Ordinateurs > Programmation
Logique mathématique
Informatique > Mathématiques
Langages de programmation > Sémantique

BU Sciences

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