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: 401
Pages: 401
Type: BOOK - Published: 2002-04-17 - Publisher: Springer Science & Business Media
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2002 - Publisher:
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: 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
