Enlarge

Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers

Publication Data

Title Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Contributors F. Arbab, Peter Csaba Ölveczky
Publisher Springer
Publication date 2012
Publication location Heidelberg
Language English

Topics

Formal methods (Computer science) :: Congresses
Component software :: Congresses
Software engineering :: Congresses

Catalogue Data

OBNB ID GBB316577
ISBN 10 3642357423
ISBN 13 9783642357428
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 x, 367 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers. ISBN 9783642357428. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.