عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2013
QA76
.
9
.
F67
B73
2013
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642410715 (electronic bk.)
(Number (ISBN
9783642410710 (electronic bk.)
Erroneous ISBN
9783642410703
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435178
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods: foundations and applications :
General Material Designation
[Book]
Other Title Information
16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings /
First Statement of Responsibility
Juliano Iyoda, Leonardo de Moura (eds.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 243 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
8195
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
SUMMARY OR ABSTRACT
Text of Note
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SBMF 2013
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science), Congresses
(SUBJECT CATEGORY (Provisional
COM014000
UY
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Class number
QA76
.
9
.
F67
Book number
B73
2013
Book number
B73
2013
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Iyoda, Juliano
Moura, Leonardo de
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods(16th :2013 :, Brasilia, Brazil)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20131202122223.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
