عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 F53 2012
QA76
.
9
.
F67
F53
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642406157 (electronic bk.)
(Number (ISBN
9783642406157 (electronic bk.)
Erroneous ISBN
9783642406140
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435139
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods for components and objects :
General Material Designation
[Book]
Other Title Information
11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
First Statement of Responsibility
Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (ix, 241 pages) :
Other Physical Details
illustrations
SERIES
Series Title
State-of-the-art survey
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7866.
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
The Abstract Behavioral Specification Language: A Tutorial Introduction -- Subobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components
0
SUMMARY OR ABSTRACT
Text of Note
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 book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642406140
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
FMCO 2012
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
Software engineering, Congresses
(SUBJECT CATEGORY (Provisional
COM051230
UMZ
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Class number
QA76
.
9
.
F67
Book number
F53
2012
Book number
F53
2012
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Boer, Frank S. de
Bonsangue, Marcello M.
Giachino, Elena,1981-
Hähnle, Reiner
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
FMCO (Symposium)(11th :2012 :, Bertinoro, Italy)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20131202122231.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
