Download or read book Engineering Theories of Software Construction written by Charles A. R. Hoare and published by IOS Press. This book was released on 2001 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR.