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