INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642142611 (electronic bk.)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
E-5891
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Forms/Format 201
General Material Designation
[Book]
Other Title Information
:formal methods for automation and safety in railway and automotive systems
First Statement of Responsibility
/ Eckehard Schnieder, Gaeza Tarnai, Editors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;Heidelberg ;New York
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, c2011.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 256 p.)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
TOPICAL NAME USED AS SUBJECT
Transportation, Safety measures, Data processing, Congresses
Formal methods (Computer science), Congresses
System safety, Congresses
Electronic books
DEWEY DECIMAL CLASSIFICATION
Number
388
.
0285
LIBRARY OF CONGRESS CLASSIFICATION
Class number
TA1005
Book number
.
F67
2011
PERSONAL NAME - SECONDARY RESPONSIBILITY
Schnieder, Eckehard
Tarnai, Gaeza
ORIGINATING SOURCE
Country
ایران
old catalog
p
BL
1
a
Y
