| Scheda: 1/1 |
|
| Livello bibliografico |
Monografia
|
| Tipo di materiale |
Testo a stampa
|
|
Autore principale
| Tesei, Luca [
scheda di autorità
] |
|
Titolo
| Specification and verification using timed automata / Luca Tesei |
|
Pubblicazione
| Pisa : SEU, Servizio editoriale universitario, 2004
|
|
Descrizione fisica
| 144 p. ; 21 cm |
|
Collezione
| Dottorato di ricerca in informatica ; (2004)-6
(ID Collana : CFI0137304)
|
|
Lingua di pubblicazione
| eng |
|
Paese di pubblicazione
| it |
|
Note
| In testa al front.: Università degli studi di Pisa, Dipartimento di informatica, Dottorato di ricerca in informatica.
|
|
Nomi
| [Autore] Tesei, Luca [
scheda di autorità
]
|
|
Identificativo record
| BVE0399570 |
Rimuovi da preferiti
Aggiungi a preferiti