Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
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 bo...
Full description
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Giachino, Elena
(Editor),
Hähnle, Reiner
(Editor),
Boer, Frank S. de
(Editor),
Bonsangue, Marcello M.
(Editor) |
|---|
| Format: | Electronic
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
|---|
| Series: | Lecture Notes in Computer Science,
7866
|
|---|
| Subjects: | |
|---|
| Online Access: | Full Text via HEAL-Link
|
|---|
