Eerke A. Boiten – författare
Visar alla böcker från författaren Eerke A. Boiten.
3 produkter
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Inbunden, 2013
1449 kr
Lägg i varukorg
Refinement in Z and Object-Z
Foundations and Advanced Applications
Av John Derrick, Eerke A. Boiten
Häftad, 2015
1449 kr
Lägg i varukorg
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, 2002
729 kr
Lägg i varukorg