عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F6 2015 E-Book ,
QA
76
.
9
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319194578
NATIONAL BIBLIOGRAPHY NUMBER
Number
13509
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Methods for Industrial Critical Systems
General Material Designation
[electronic resources]
Other Title Information
: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings
First Statement of Responsibility
\ Manuel Núñez , Matthias Güdemann (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, 213 p
Other Physical Details
:ill
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9128
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses
Computer programs -- Verification -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
Book number
.
F6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Núñez, Manuel
Güdemann, Matthias
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319194578.pdf
p
BL
279177
1
a
N
