Model checking for the concurrent constraint paradigm

Riferimento: 9788884201539

Editore: Forum Edizioni
Autore: Alicia Villanueva García
Collana: Phd thesis series
In commercio dal: 01 Gennaio 2003
Pagine: 138 p., Libro in brossura
EAN: 9788884201539

15,00 €