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

About the House / by W. H. Auden

• Record Nr.: UNINA990004903910403321
• Autore: Auden, Wystan Hugh <1907-1973>
• Pubbl/distr/stampa: London : Faber and Faber, 1966
• Descrizione fisica: 94 p. ; 22 cm
• Locazione: FLFBC
• Collocazione: R 72 10
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia