Scheda: 11/180 | |
---|---|
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 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | Pubbl. Univ. Pisa 19 ter / 79 | 473954 |