ZB 2002 : Formal Specification and Development in Z and B

ZB 2002 : Formal Specification and Development in Z and B

de Didier Bert

Publicado por primera vez en 2003

Libros como ZB 2002 : Formal Specification and Development in Z and B

Buscar libros como este

Más de Didier Bert