عنوان
پدید آورنده
موضوع
رده
.F67 2015 E-Book ,
.
F67
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319150741
NATIONAL BIBLIOGRAPHY NUMBER
Number
12543
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Methods
General Material Designation
[electronic resources]
Other Title Information
: 17th Brazilian Symposium, SBMF 2014 Maceió, AL, Brazil, September 29 – October 1, 2014 Proceedings
First Statement of Responsibility
\ [edited by] Christiano Braga, Narciso Marti-Oliet.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015.
PROJECTED PUBLICATION DATE
Date
1502
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii,[179] p.
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 8941
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Book number
.
F67
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Braga, Christiano
Martí-Oliet, Narciso
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazil)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20160929090655.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319150741.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1504/2014960283-d.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1504/2014960283-t.html
BL
279177
1
Y
