Scheda: 38/314 |
|
Livello bibliografico |
Monografia
|
Tipo di materiale |
Testo a stampa
|
Autore principale
| Moreno, René |
Titolo
| A semantic framework for analysis and verification of concurrent constraint programming / Renè Moreno |
Pubblicazione
| Pisa : Università, Dipartimento di Informatica ; Seu, 2000
|
Descrizione fisica
| VI, 127 p. ; 21 cm. (TD-4/00). |
Lingua di pubblicazione
| eng |
Paese di pubblicazione
| IT |
Nomi
| [Autore] Moreno, René
[Autore] Università degli Studi <Pisa> : Dipartimento di Informatica |
Identificativo record
| BP00017120 |