Hoppa till sidans huvudinnehåll

Eerke A. Boiten – författare

Visar alla böcker från författaren Eerke A. Boiten.
3 produkter
John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Inbunden

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Inbunden, Engelska, 2013

1 459 kr

Skickas inom 10-15 vardagar

John Derrick, Eerke A. Boiten - Refinement in Z and Object-Z, Häftad

Refinement in Z and Object-Z

Foundations and Advanced Applications

AvJohn Derrick,Eerke A. Boiten

Häftad, Engelska, 2015

1 459 kr

Skickas inom 10-15 vardagar

Eerke A. Boiten, Bernhard Möller - Mathematics of Program Construction, Häftad

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

AvEerke A. Boiten,Bernhard Möller

Häftad, Engelska, 2002

739 kr

Skickas inom 10-15 vardagar