عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2011
QA76
.
9
.
F67
B73
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642198295 (electronic bk.)
(Number (ISBN
9783642198298 (electronic bk.)
Erroneous ISBN
9783642198281
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509273
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods: foundations and applications
General Material Designation
[Book]
Other Title Information
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers /
First Statement of Responsibility
Jim Davies, Leila Silva, Adenilso Simao (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, 290 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
6527
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
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
Text of Note
hot topics (introducing emergent topics to the broader community)
Text of Note
In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket
Text of Note
More recently, several color-cover sublines have been added featuring, beyond a collection of papers, various added-value components; these sublines include
Text of Note
post-proceedings (consisting of thoroughly revised final full papers)
Text of Note
proceedings (published in time for the respective conference)
Text of Note
research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.)
Text of Note
state-of-the-art-Surveys (offering complete and mediated coverage of a topic)
Text of Note
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
Text of Note
tutorials (textbook-like monographs or collections of lectures given at advanced courses)
OTHER EDITION IN ANOTHER MEDIUM
Title
Formal methods: foundations and applications.
International Standard Book Number
9783642198281
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SBMF 2010
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
B73
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Davies, Jim,1964-
Silva, Leila
Simão, Adenilso
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods(13th :2010 :, Natal, Brazil)
ORIGINATING SOURCE
Date of Transaction
20120425035453.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
