Introduction to languages, machines and logic : computable languages, abstract machines and formal logic

Introduction to languages, machines and logic : computable languages, abstract machines and formal logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Parkes Alan P. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes
Publié : London, New York : Springer , C 2002
Description matérielle : 1 vol. (XI-351 p.)
Sujets :
Langages formels