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

Detalles Bibliográficos
Autor principal: Rocha, Jairo (-)
Otros Autores: Rosselló, Francesc, 1961-
Formato: Libro
Idioma:Catalán
Publicado: Palma de Mallorca : Universitat de les Illes Balears, Servei de Publicacions i Intercanvi Cientific 2003.
Colección:Materials Didàctics (Universitat de les Illes Balears) ; 107.
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991002805949703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Notas:Indice
Descripción Física:285 p. : il. ; 24 cm
Bibliografía:Bibliogr.: p. 279
ISBN:9788476328293