Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Show other versions (2)

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to th...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Boer, Frank S. de (Editor, http://id.loc.gov/vocabulary/relators/edt), Bonsangue, Marcello M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hallerstede, Stefan H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Leuschel, Michael (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
Edition:First edition 2010
Series:Computer Science (Springer-11645)
LNCS sublibrary Programming and software engineering ; 6286.
Subjects:
Computer logic
Computer programming
Operating systems (Computers)
Programming languages (Electronic computers)
Software engineering
Software Engineering
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering/Programming and Operating Systems

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items