|
" Formal methods for components and objects "
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Document Type
|
:
|
BL
|
Record Number
|
:
|
605113
|
Doc. No
|
:
|
b434332
|
Main Entry
|
:
|
FMCO 2010(2010 :, Graz, Austria)
|
Title & Author
|
:
|
Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /\ Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
|
Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2011
|
Series Statement
|
:
|
Lecture notes in computer science,; 6957
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
Page. NO
|
:
|
1 online resource (xi, 391 p.) :: ill
|
ISBN
|
:
|
9783642252716 (electronic bk.)
|
|
:
|
: 3642252710 (electronic bk.)
|
|
:
|
9783642252709
|
|
:
|
3642252702
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
Subject
|
:
|
Formal methods (Computer science), Congresses
|
Dewey Classification
|
:
|
004.01/51
|
LC Classification
|
:
|
QA76.9.F67F53 2010eb
|
|
:
|
QA76.9.F67F53 2010eb
|
Added Entry
|
:
|
Aichernig, Bernhard K.,1969-
|
|
:
|
Boer, Frank S. de
|
|
:
|
Bonsangue, Marcello M
|
Parallel Title
|
:
|
FMCO 2010
|
| |