عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F6 2015 E-Book ,
QA
76
.
9
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783319175805
NATIONAL BIBLIOGRAPHY NUMBER
Number
12173
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Techniques for Safety-Critical Systems
General Material Designation
[electronic resources]
Other Title Information
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
First Statement of Responsibility
[edited by] Cyrille Artho, Peter Csaba Olveczky.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2015.
PROJECTED PUBLICATION DATE
Date
1505
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 255 p.
Other Physical Details
ill.
SERIES
Series Title
Communications in computer and information science
Volume Designation
;476
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
System safety -- Congresses.
Systems engineering -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
ایمنی سیستمها -- کنگره ها
مهندسی سیستم ها -- گنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F6
2015
E-Book
,
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170103064222.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319175805.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-t.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-d.html
BL
279177
Y
