عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F67 2016 E-Book ,
QA
76
.
9
.
F67
2016
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319294728
NATIONAL BIBLIOGRAPHY NUMBER
Number
12520
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
: 18th Brazilian Symposium, SBMF 2015 Belo Horizonte, Brazil, September 21–22, 2015 Proceedings
First Statement of Responsibility
\ Márcio Cornélio , Bill Roscoe (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2016.
PROJECTED PUBLICATION DATE
Date
1602
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii,[194] p.
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9526
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Formal methods (Computer science)
روشهای صوری (کامپیوتر) -- کنگره ها
روشهای صوری (کامپیوتر)
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F67
2016
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Cornelio, Marcio
Roscoe, A. W
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Brazilian Symposium on Formal Methods (18th : 2015 : Belo Horizonte, Brazil)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20191019111457.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319294728.pdf
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015960819-d.html
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015960819-t.html
BL
279177
1
Y
