Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Bibliographic Information

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)

(Lecture notes in computer science, 5751)

Springer, c2009

Other Title

FMCO 2008

Available at  / 2 libraries

Search this Book/Journal

Note

"State-of-the-Art Survey"--Cover

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top