Related Books
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media
Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su
Language: en
Pages: 394
Pages: 394
Type: BOOK - Published: 2005-10-27 - Publisher: Springer Science & Business Media
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large a
Language: en
Pages: 98
Pages: 98
Type: BOOK - Published: 2007 - Publisher:
Language: en
Pages: 513
Pages: 513
Type: BOOK - Published: 2011-03-22 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011
Language: en
Pages: 255
Pages: 255
Type: BOOK - Published: 2013-01-03 - Publisher: Springer
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in Augus
