|
" Formal aspects of component software "
Luís Soares Barbosa, Markus Lumpe (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605181
|
| Doc. No
|
:
|
b434400
|
| Main Entry
|
:
|
International Workshop on Formal Aspects of Component Software(7th :2010 :, Guimarães, Portugal)
|
| Title & Author
|
:
|
Formal aspects of component software : 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers /\ Luís Soares Barbosa, Markus Lumpe (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 6921
|
|
|
:
|
LNCS sublibrary: SL 2 - Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (x, 303 p.) :: ill
|
| ISBN
|
:
|
9783642272691 (e-ISBN)
|
|
|
:
|
: 364227269X (e-ISBN)
|
|
|
:
|
9783642272684
|
|
|
:
|
3642272681
|
| Notes
|
:
|
"On behalf of the Organizing Committee we are pleased to present the proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) organized by the University of Minho and held in Guimarães, Portugal during October 14-16, 2010"--Pref
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Subject
|
:
|
Component software, Congresses
|
| LC Classification
|
:
|
QA76.9.E94I585 2010eb
|
|
|
:
|
QA76.9.E94I585 2010eb
|
| Added Entry
|
:
|
Barbosa, Luís Soares
|
|
|
:
|
Lumpe, Markus
|
| Parallel Title
|
:
|
FACS 2010
|
| |