Durante, Luca
Tecniche di descrizione formale per protocolli di comunicazione e loro applicazioni : dottorato di ricerca in ingegneria informatica e dei sistemi : tesi di dottorato / Luca Durante ; tutore: Luigi Ciminiera ; coordinatore: Pietro Laface ; Politecnico di Torino, Dipartimento di automatica e informatica
[S.l.] : [S.n.], 1999
1 v
BN 2000-993T
Ciminiera, Luigi
Laface, Pietro
Politecnico<Torino>: Dipartimento di automatica e informatica
K05A - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI


Tesi di dottorato. | Lingua: Italiano. | Paese: IT. | BID: TSI9900200
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD989900200 TDR 1999 000200 Lettura tesi in sede
Documenti simili