Ebook: Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Author: Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
- Tags: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 7866 : Programming and Software Engineering
- Year: 2013
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
Download the book Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)