Autòmats i llenguatges verficació, 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.
Edición:1a. ed
Colección:Col·lecció Materials didàctics (Universidad de las Islas Baleares) ; 107.
Materias:
Ver en Universidad Pontificia de Salamanca:https://catalogo.upsa.es/cgi-bin/koha/opac-detail.pl?biblionumber=98503
Solicitar por préstamo interbibliotecario: Correo | Formulario
Descripción
Descripción Física:XVI, 285 p.
ISBN:9788476328293