Model checking for the concurrent constraint paradigm
| Titolo | Model checking for the concurrent constraint paradigm |
| Autore | Alicia Villanueva García |
| Collana | Phd thesis series |
| Editore | Forum Edizioni |
| Formato |
Libro: Copertina morbida |
| Pagine | 138 |
| Pubblicazione | 01/2003 |
| ISBN | 9788884201539 |