Cover is for reference only

Formal methods for components and objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, revised selected papers /

Saved in:
Bibliographic Details
Corporate Authors: FMCO 2011 Turin, Italy); SpringerLink (Online service)
Group Author: Beckert, Bernhard.
Published:
Literature type: Electronic eBook
Language: English
Series: Lecture notes in computer science, 7542
LNCS sublibrary. SL 2, Programming and software engineering
Subjects:
Software > Congresses.
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
COMPUTERS / Computer Literacy
COMPUTERS / Computer Science
COMPUTERS / Data Processing
COMPUTERS / Hardware / General
COMPUTERS / Information Technology.
COMPUTERS / Machine Theory.
COMPUTERS / Reference
Formal methods (Computer science)
Software engineering.
Computer science.
Logic design.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Information Systems Applications (incl. Internet).
Electronic books.
Conference proceedings.
Online Access: http://dx.doi.org/10.1007/978-3-642-35887-6
Carrier Form: 1 online resource (x, 356 p.) : ill.
Bibliography: Includes bibliographical references and author index.
ISBN: 9783642358876 (electronic bk.)
364235887X (electronic bk.)
Index Number: QA76
CLC: TP311.11-532
Contents: The ASCENS Project --
ASCENS: Engineering Autonomic Service-Component Ensembles /
A Language-Based Approach to Autonomic Computing /
A Survey on Basic Connectors and Buffers /
The EternalS Coordination Action --
Synthesis-Based Variability Control: Correctness by Construction /
Modeling Application-Level Management of Virtualized Resources in ABS /
HATS Abstract Behavioral Specification: The Architectural View /

Related Book Recommendations