ZB 2002 : Formal Specification and Development in Z and B

Livres comme ZB 2002 : Formal Specification and Development in Z and B

Trouver des livres comme celui-ci

Autres livres de 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