ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings


International Conference of B and Z Users
Bok Engelsk 2002

Detaljer

Bibliotek som har denne