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
1004752577
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
90.0
In Stock
5
1
Engineering Theories of Software Construction
357
Engineering Theories of Software Construction
357Hardcover
$90.00
90.0
In Stock
Product Details
| ISBN-13: | 9781586031725 |
|---|---|
| Publisher: | IOS Press, Incorporated |
| 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