| Scheda: 46/312 |
|
| 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 |
Rimuovi da preferiti
Aggiungi a preferiti