ZB 2003 : Formal Specification and Development in Z and B

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

Find books like this

More by Didier Bert

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