Didier Bert

Didier Bert

2 ספרים במאגר

ספרים

ZB 2002 : Formal Specification and Development in Z and BDidier Bert

ZB 2002 : Formal Specification and Development in Z and B

Didier Bert · 2003

ZB 2003 : Formal Specification and Development in Z and BDidier Bert

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert · 2003