Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Opera/Pubblicazioni

Espandi

Riduci

Pubblicazioni

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

ZB 2005: Formal Specification and Development in Z and B
ID: 772749