Eerke A. Boiten - Böcker

Visar alla böcker från författaren Eerke A. Boiten.

3 produkter

Kategorier

3 produkter

Refinement in Z and Object-Z

Foundations and Advanced Applications

Av John Derrick, Eerke A. Boiten

Inbunden, Engelska, 2013

1 459 kr

Skickas inom 10-15 vardagar

Refinement in Z and Object-Z

Foundations and Advanced Applications

Av John Derrick, Eerke A. Boiten

Häftad, Engelska, 2015

1 459 kr

Skickas inom 10-15 vardagar

Mathematics of Program Construction

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

Av Eerke A. Boiten, Bernhard Möller

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar