عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2012eb
QA76
.
9
.
F67
B73
2012eb
کتابخانه
محل استقرار
364233296X (electronic bk.)
9783642332968 (electronic bk.)
9783642332951
b509308
Formal methods: Foundations and applications :
[Book]
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
Rohit Gheyi, David Naumann (eds.).
New York :
Springer,
[2012]
©2012
1 online resource.
Lecture notes in computer science,
7498
0302-9743 ;
Includes bibliographical references and index
OhioLINK electronic book center (Online)
SpringerLink
SBMF 2012
Formal methods (Computer science), Congresses.
004
.
01/51
23
QA76
.
9
.
F67
B73
2012eb
Gheyi, Rohit.
Naumann, David,1957-
Brazilian Symposium on Formal Methods(15th :2012 :, Natal, Brazil)
Ohio Library and Information Network.
20130304114554.0
rda
مطالعه متن کتاب [Book]
Y
