ZB 2002 : Formal Specification and Development in Z and B

ZB 2002 : Formal Specification and Development in Z and B

First published 2003

Books like ZB 2002 : Formal Specification and Development in Z and B

Find books like this

More by Didier Bert

ZB 2003 : Formal Specification and Development in Z and B
ZB 2003 : Formal Specification and Development in Z and B2003
Étude d'elements fondamentaux des langages de programmation
Étude d'elements fondamentaux des langages de programmation1973