Eerke A. Boiten

Eerke A. Boiten

1 ספרים במאגר

ספרים

Mathematics of Program ConstructionEerke A. Boiten

Mathematics of Program Construction

Eerke A. Boiten · 2003

ספרים משותפים ואוספים

ספרים שבהם Eerke A. Boiten מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Refinement in Z and Object-ZJohn Derrick

Refinement in Z and Object-Z

John Derrick · 2001

Refinement in Z and Object-ZJohn Derrick

Refinement in Z and Object-Z

John Derrick · 2001