عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F57 2015 E-Book ,
QA
76
.
9
.
F57
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319192482
NATIONAL BIBLIOGRAPHY NUMBER
Number
12647
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
FM 2015
General Material Designation
[electronic resources]
Other Title Information
: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
First Statement of Responsibility
\ Nikolaj Bjørner , Frank de Boer (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi,610 p.
Other Physical Details
:ill
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9109
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Software engineering.
روشهای صوری (کامپیوتر) -- کنگره ها
مهندسی نرم افزار
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F57
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Björner, Nikolaj
Boer, Frank S. de
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20161006
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319192482.pdf
p
BL
279177
1
a
Y
