Search result

Refinement in Z and Object-Z English 01.09.2013 Hardback Fr. 134.00 2-3 weeks (title will be printed to order)
Mathematics of Program Construction English 26.06.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Integrated Formal Methods English 23.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Refinement in Z and Object-Z English 01.01.2015 Paperback / Softback Fr. 147.00 6-7 weeks