عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 B73 2012eb
QA76
.
9
.
F67
B73
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
364233296X (electronic bk.)
(Number (ISBN
9783642332968 (electronic bk.)
Erroneous ISBN
9783642332951
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509308
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods: Foundations and applications :
General Material Designation
[Book]
Other Title Information
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
First Statement of Responsibility
Rohit Gheyi, David Naumann (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2012]
Date of Publication, Distribution, etc.
©2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource.
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
7498
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SBMF 2012
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
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Gheyi, Rohit.
Naumann, David,1957-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods(15th :2012 :, Natal, Brazil)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20130304114554.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
