Scheda: 1/1 |
|
Livello bibliografico |
Monografia
|
Tipo di materiale |
Testo a stampa
|
Autore principale
| Ruggieri, Salvatore [
scheda di autorità
] |
Titolo
| *Verification and validation of logic programs / Salvatore Ruggieri |
Pubblicazione
| Pisa : Università, Dipartimento di Informatica, 1999
|
Descrizione fisica
| IV, 283 p ; 21 cm. |
Lingua di pubblicazione
| eng |
Paese di pubblicazione
| IT |
Note
| Sul front. : TD - 6/99. In testa al front. : Università degli studi di Pisa, Dipartimento di Informatica, Dottorato di ricerca in Informatica.
|
Nomi
| [Autore] Ruggieri, Salvatore [
scheda di autorità
]
[Autore] Università degli Studi <Pisa> : Dipartimento di Informatica |
Identificativo record
| BP00017365 |