Martin C. Henson

ספרים שבהם Martin C. Henson מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Logics of specification languagesD. Bjørner

Logics of specification languages

D. Bjørner · 2007

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

ZB 2002 : Formal Specification and Development in Z and B

Didier Bert · 2003