Main Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures cover

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

, , , ,
5.0 / 5.0
0 comments

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.


Request Code : ZLIBIO2694708
Categories:
Year:
2013
Edition:
3
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
English
Pages:
241
ISBN 10:
3642406157
ISBN 13:
9783642406157
ISBN:
9783642406140,9783642406157
Series:
Lecture Notes in Computer Science 7866 : Programming and Software Engineering
This book is not available due to the complaint of the copyright holder.

Comments of this book

There are no comments yet.