|
" Formal methods: Foundations and applications : "
Rohit Gheyi, David Naumann (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
687119
|
| Doc. No
|
:
|
b509308
|
| Main Entry
|
:
|
Brazilian Symposium on Formal Methods(15th :2012 :, Natal, Brazil)
|
| Title & Author
|
:
|
Formal methods: Foundations and applications : : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /\ Rohit Gheyi, David Naumann (eds.).
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, [2012]
|
|
|
:
|
, ©2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7498
|
| Page. NO
|
:
|
1 online resource.
|
| ISBN
|
:
|
364233296X (electronic bk.)
|
|
|
:
|
: 9783642332968 (electronic bk.)
|
|
|
:
|
9783642332951
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67B73 2012eb
|
| Added Entry
|
:
|
Gheyi, Rohit.
|
|
|
:
|
Naumann, David,1957-
|
| Added Entry
|
:
|
Ohio Library and Information Network.
|
| Parallel Title
|
:
|
SBMF 2012
|
| |