Handbook of theoretical computer science : Volume B : Formal models and semantics

Handbook of theoretical computer science : Volume B Formal models and semantics

Enregistré dans:
Détails bibliographiques
Autres auteurs : Leeuwen Jan van (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Handbook of theoretical computer science. Volume B, Formal models and semantics / edited by Jan Van Leeuwen
Publié : Amsterdam, New York, Oxford [etc.], Cambridge (Mass.) : Elsevier , cop. 1990
The Mit press
Description matérielle : 1 vol. (xiv-1273 p.)
Sujets :
Modalité (logique)
Logique mathématique
Théorie des modèles
Ordinateurs > Programmation
Langages de programmation > Sémantique
Théorie des automates mathématiques
Langages formels
Informatique
Logique informatique

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 005.1 LEE/13376 Empruntable Disponible