Catalán

Autòmats i llenguatges: verificació, implementació i concurrència
Título Autòmats i llenguatges: verificació, implementació i concurrència ;Jairo Rocha, Francesc Rosselló ;
Lugar de publicación Palma [de Mallorca]
Editorial Universitat de les Illes Balears, Servei de Publicacions i Intercanvi Científic
Fecha de publicación 2003