Engineering Theories of Software Construction
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 c. Book News, Inc., Portland, OR
1101480748
Engineering Theories of Software Construction
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 c. Book News, Inc., Portland, OR
116.0
In Stock
5
1
Engineering Theories of Software Construction
357
Engineering Theories of Software Construction
357Hardcover
$116.00
116.0
In Stock
Product Details
| ISBN-13: | 9781586031725 |
|---|---|
| Publisher: | SAGE Publications |
| Publication date: | 08/28/2001 |
| Series: | NATO Science Series |
| Pages: | 357 |
| Product dimensions: | 9.58(w) x 6.54(h) x 1.01(d) |
| Age Range: | 17 Years |
From the B&N Reads Blog