Related Books
Language: en
Pages: 248
Pages: 248
Type: BOOK - Published: 1996 - Publisher: MIT Press
Algebraic Semantics of Imperative Programs presents a self-contained and novel executable introduction to formal reasoning about imperative programs. The author
Language: en
Pages: 418
Pages: 418
Type: BOOK - Published: 2009-09-19 - Publisher: Springer
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, col
Language: en
Pages: 475
Pages: 475
Type: BOOK - Published: 2019-10-19 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, i
Language: en
Pages: 586
Pages: 586
Type: BOOK - Published: 1999-05-14 - Publisher: World Scientific
There is algebraic structure in time, computation and biological systems. Algebraic engineering exploits this structure to achieve better understanding and desi
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2008-07-29 - Publisher: Springer
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana
