| Document Type
|
:
|
BL
|
| Record Number
|
:
|
687084
|
| Doc. No
|
:
|
b509273
|
| Main Entry
|
:
|
Brazilian Symposium on Formal Methods(13th :2010 :, Natal, Brazil)
|
| Title & Author
|
:
|
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /\ Jim Davies, Leila Silva, Adenilso Simao (eds.)
|
| Publication Statement
|
:
|
Berlin ;Heidelberg ;New York :: Springer,, c2011
|
| Series Statement
|
:
|
Lecture notes in computer science,; 6527
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (viii, 290 p.) :: ill
|
| ISBN
|
:
|
3642198295 (electronic bk.)
|
|
|
:
|
: 9783642198298 (electronic bk.)
|
|
|
:
|
9783642198281
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Abstract
|
:
|
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available
|
|
|
:
|
hot topics (introducing emergent topics to the broader community)
|
|
|
:
|
In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket
|
|
|
:
|
More recently, several color-cover sublines have been added featuring, beyond a collection of papers, various added-value components; these sublines include
|
|
|
:
|
post-proceedings (consisting of thoroughly revised final full papers)
|
|
|
:
|
proceedings (published in time for the respective conference)
|
|
|
:
|
research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.)
|
|
|
:
|
state-of-the-art-Surveys (offering complete and mediated coverage of a topic)
|
|
|
:
|
The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes
|
|
|
:
|
tutorials (textbook-like monographs or collections of lectures given at advanced courses)
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67B73 2011
|
| Added Entry
|
:
|
Davies, Jim,1964-
|
|
|
:
|
Silva, Leila
|
|
|
:
|
Simão, Adenilso
|
| Parallel Title
|
:
|
SBMF 2010
|