ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings


International Conference of B and Z Users
Bok Engelsk 2003

Bibliotek som har denne