Related Books
Language: en
Pages: 401
Pages: 401
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Language: en
Pages: 372
Pages: 372
Type: BOOK - Published: 2012-06-21 - Publisher: Springer
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in
Language: en
Pages: 390
Pages: 390
Type: BOOK - Published: 2002-04-17 - Publisher: Springer
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Language: en
Pages: 410
Pages: 410
Type: BOOK - Published: 2004-09-21 - Publisher: Springer
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences ai
Language: en
Pages: 464
Pages: 464
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held at Kuressaare, Estonia, July 3-5,