FM 2005: Formal Methods [Risorsa elettronica] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings / edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540317142
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3582
Lingua di pubblicazione
Inglese
Formato
Risorsa elettronica
Livello bibliografico
Monografia
2.
Record Nr.
UNINA990006583720403321
Autore
Ravà, Adolfo
Titolo
Sguardo generale alla storia delle dottrine politiche. Appunti da alcune lezioni... compilati da Bruno Cacciavillani / di Adolfo Ravà