Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Methods for Components and Objects : 11th International Symposium
FMCO 2012BertinoroItalySeptember 24-282012Revised Lectures
SR 238
Inclusive of VAT
SR14Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR238
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
Report an issue with this product.
