عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2013
QA76
.
9
.
F67
B73
2013
کتابخانه
محل استقرار
3642410715 (electronic bk.)
9783642410710 (electronic bk.)
9783642410703
b435178
Formal methods: foundations and applications :
[Book]
16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : proceedings /
Juliano Iyoda, Leonardo de Moura (eds.)
1 online resource (x, 243 pages) :
illustrations
Lecture notes in computer science,
LNCS sublibrary, SL 2, Programming and software engineering
8195
0302-9743 ;
Includes bibliographical references and index
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
OhioLINK electronic book center (Online)
SpringerLink
SBMF 2013
Formal methods (Computer science), Congresses
COM014000
UY
004
.
01/51
23
QA76
.
9
.
F67
QA76
.
9
.
F67
B73
2013
B73
2013
Iyoda, Juliano
Moura, Leonardo de
Brazilian Symposium on Formal Methods(16th :2013 :, Brasilia, Brazil)
Ohio Library and Information Network
20131202122223.0
pn
مطالعه متن کتاب [Book]
Y
