Autòmats i llenguatges verificació, implementació i concurrència

Detalles Bibliográficos
Autor principal: Rocha, Jairo (-)
Otros Autores: Rosselló, Francesc
Formato: Libro
Idioma:Catalán
Publicado: Palma : Universitat de les Illes Balears 2003
Colección:Materials didàctics (Universitat de les Illes Balears) ; 107
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991003828249706719
Descripción
Descripción Física:XVI, 285 p. : gràf.; 24 cm
Bibliografía:Bibliografia. Índex
ISBN:9788476328293