Formal Methods for Components and Objects
by Elena Giachino (Editor)Frank S. de Boer (Editor)Marcello M. Bonsangue (Editor)Reiner Hähnle (Editor)
Format: Paperback
ISBN13: 9783642406140
Paperback|9783642406140
✨ Featured Offer
Brand New
$53.80
List Price: $49.99
🚚
See all 2 offers from $53.80 FREE standard delivery by: 02 Apr 2026
Overview
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
| ISBN-13 | 9783642406140 |
|---|---|
| ISBN-10 | 3642406149 |
| Weight | 0.79 Pounds |
| Dimensions | 6.10 x 0.57 x 9.25 In |
| List Price | $49.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | ix, 241 pages |
| Publisher | Springer |
| Published On | 2013-08-26 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 241 p. Contains: Unspecified, Illustrations, b...
Free delivery by: 02 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: 02 Apr 2026