Springer
Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Product Code:
9783642406140
ISBN13:
9783642406140
Condition:
New
$56.30
Formal Methods for Components and Objects: 11th International Symposium, Fmco 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
$56.30
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.
| Author: Elena Giachino |
| Publisher: Springer |
| Publication Date: Aug 26, 2013 |
| Number of Pages: 241 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642406149 |
| ISBN-13: 9783642406140 |
Related Products
