عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2011
QA76
.
9
.
F67
B73
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642250327
(Number (ISBN
9783642250323
Erroneous ISBN
9783642250316
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434312
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods, foundations and applications :
General Material Designation
[Book]
Other Title Information
14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
First Statement of Responsibility
Adenilso Simao, Carroll Morgan (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 203 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7021
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642250316
PARALLEL TITLE PROPER
Parallel Title
SBMF 2011
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
B73
2011
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Morgan, Carroll,1952-
Simão, Adenilso
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods(14th :2011 :, Sâo Paulo, Brazil)
ORIGINATING SOURCE
Date of Transaction
20170726082129.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
