|
" 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
|
| |