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
Description
Variantes de titre : Background : mathematical structures
Historique des publications : Autres tirages : 2003
ISBN : 0-19-853735-2