ZB 2003 : Formal Specification and Development in Z and B

ZB 2003 : Formal Specification and Development in Z and B

de Didier Bert

Publicado por primera vez en 2003

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

Buscar libros como este

Más de Didier Bert