Logic and language models for computer science

Logic and language models for computer science

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Hamburger Henry (Auteur), Richards Dana Scott (Auteur)
Format : Livre
Langue : anglais
Titre complet : Logic and language models for computer science / Henry Hamburger, Dana Richards
Publié : Upper Saddle River, N.J. : Prentice Hall , cop. 2002
Description matérielle : 1 vol. (XIV-341 p.)
Sujets :
Langages formels
Théorie des automates mathématiques
Programmation logique

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Année Prêt Statut
Rez-de-chaussée, salle 2 005.131 HAM 2002 Empruntable Disponible