ZB 2000 : formal specification and development in Z and B : first International conference of B and Z user : York, UK, August 29- Sptember 2, 2000 : proceedings / Jonathan P. Bowen ...<et al.> (eds.)

• Record Nr.: UNISA990000310160203316
• Autore: International conference of B and Z users <1.; 2000; York>
• Pubbl/distr/stampa: Berlin : Spinger Verlag, c2000
• ISBN: 3-540-67944-8
• Descrizione fisica: XIV, 510 p. : ill. ; 20 cm
• Collana: Lecture notes in computer science ; 1878
• Disciplina: 005.133
• Collocazione: 001 LNCS (1878)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Atti del 2. convegno nazionale di studi sul Rinascimento

• Record Nr.: UNISALENTO991001195909707536
• Autore: Convegno nazionale di studi sul Rinascimento <2. ; 1940 ; Firenze>
• Pubbl/distr/stampa: Firenze : [s.n.], 1940
• Descrizione fisica: 180 p. : ill. ; 24 cm
• Altri autori (Enti): Centro nazionale di studi sul Rinascimento <Firenze>
• Disciplina: 850.9
• Soggetti: Rinascimento - Congressi
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: In testa al front.: Centro nazionale di studi sul Rinascimento