Jairo Rocha

No bio available. Add one in Open Library.

Books by Jairo Rocha (50 max)

+ shelf+ list

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

2003

Jairo Rocha, Francesc Rosselló

+ shelf+ list

Autòmats, gramàtiques i programes : verificació i concurrència

2005

Jairo Rocha, Francesc Rosselló