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, Servei de Publicacions i Intercanvi Cientific 2003.
Edición:1 ed
Colección:Materials didàctics ; 107
Materias:
Descripción
Descripción Física:XVI, 285 p. ; 24 cm
Bibliografía:Bibliografía.
ISBN:9788476328293