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
Description
Variantes de titre : Formal models and semantics
Historique des publications : Autre(s) tirage(s) : 1992
Bibliographie : Bibliogr. en fin de chapitres. Index
ISBN : 0-262-22040-7
0-444-88075-5
0-262-22039-3
0-444-88074-7