Tools and Algorithms for the Construction and Analysis of Systems
Format: Paperback
ISBN13: 9783540253334
Paperback|9783540253334
✨ Featured Offer
Brand New
$112.98
List Price: $109.99
🚚
See all 3 offers from $83.24 FREE standard delivery by: 01 Apr 2026
Overview
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
| ISBN-13 | 9783540253334 |
|---|---|
| ISBN-10 | 3540253335 |
| Weight | 2.01 Pounds |
| Dimensions | 6.10 x 1.38 x 9.25 In |
| List Price | $109.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xviii, 590 pages |
| Publisher | Springer |
| Published On | 2005-03-23 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Like New
Seller details
Peak Books
Holly Springs, NC, USA
Trade paperback (US). Glued binding. 590 p. Contains: Unspecified. Audience: General/trade.
Free delivery by: 01 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 01 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 590 p. Contains: Unspecified.
Free delivery by: 01 Apr 2026