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

• Record Nr.: UNINA990009249030403321
• 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

Sguardo generale alla storia delle dottrine politiche. Appunti da alcune lezioni... compilati da Bruno Cacciavillani / di Adolfo Ravà

• Record Nr.: UNINA990006583720403321
• Autore: Ravà, Adolfo
• Pubbl/distr/stampa: Padova : Ed. Litotipo, 1926
• Descrizione fisica: 111 p. ; 22 cm
• Disciplina: 320.01
• Locazione: FSPBC; FGBC
• Collocazione: XII A 84; XXI C 398
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia