Model checking for the concurrent constraint paradigm

Riferimento: 9788884201539

Editore:
Autore: Alicia Villanueva García
Collana: Phd thesis series
Pagine: 138 p., Libro in brossura
EAN: 9788884201539
15,00 €
Quantità
Non disponibile