TY  - BOOK
AU  - Rocha,Jairo
AU  - Roselló,Francesc
ED  - Universidad de las Islas Baleares.
TI  - Autòmats i llenguatges: verificació, implementació i concurrència 
T2  - Materials didàctics
SN  - 84-7632-829-x
PY  - 2003///
CY  - Palma
PB  - Universitat de les Illes Balears, Servei de Publicacions i Intercanvi Cientific
KW  - Autómatas matemáticos, Teoría de
KW  - Lenguajes formales
KW  - Turing, Máquinas de
ER  -