Related Books
Language: en
Pages: 435
Pages: 435
Type: BOOK - Published: 2010-06 - Publisher: Springer Science & Business Media
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic fo
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,
Language: en
Pages: 273
Pages: 273
Type: BOOK - Published: 2003-08-02 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Ge
Language: en
Pages: 436
Pages: 436
Type: BOOK - Published: 1989-06-07 - Publisher: Springer Science & Business Media
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was org
Language: en
Pages: 265
Pages: 265
Type: BOOK - Published: 2000 - Publisher: Springer Science & Business Media
This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Po
