Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
FORMS/FORMAT 2010 = formal methods f...
~
Tarnai, Geza.
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
Record Type:
Electronic resources : Monograph/item
Title/Author:
FORMS/FORMAT 2010/ edited by Eckehard Schnieder, Geza Tarnai.
Reminder of title:
formal methods for automation and safety in railway and automotive systems /
other author:
Schnieder, Eckehard.
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg, : 2011.,
Description:
xi, 256 p. :ill., digital ; : 24 cm.;
Contained By:
Springer eBooks
Subject:
Transportation - Congresses. - Safety measures -
Online resource:
http://dx.doi.org/10.1007/978-3-642-14261-1
ISBN:
9783642142611 (electronic bk.)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
FORMS/FORMAT 2010
formal methods for automation and safety in railway and automotive systems /[electronic resource] :edited by Eckehard Schnieder, Geza Tarnai. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2011. - xi, 256 p. :ill., digital ;24 cm.
ISBN: 9783642142611 (electronic bk.)Subjects--Topical Terms:
316759
Transportation
--Safety measures--Congresses.
LC Class. No.: TA1005 / .F67 2011
Dewey Class. No.: 388.0285
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
LDR
:00820nmm 2200229 a 4500
001
163765
003
Springer
005
20110718193447.0
006
m d
007
cr nn 008maaau
008
160223s2011 gw s j eng d
020
$a
9783642142611 (electronic bk.)
020
$a
9783642142604 (paper)
035
$a
978-3-642-14260-4
050
0 4
$a
TA1005
$b
.F67 2011
082
0 4
$a
388.0285
$2
22
090
$a
TA1005
$b
.F726 2011
245
0 0
$a
FORMS/FORMAT 2010
$h
[electronic resource] :
$b
formal methods for automation and safety in railway and automotive systems /
$c
edited by Eckehard Schnieder, Geza Tarnai.
260
$a
Berlin, Heidelberg :
$c
2011.
$b
Springer-Verlag Berlin Heidelberg,
300
$a
xi, 256 p. :
$b
ill., digital ;
$c
24 cm.
650
0
$a
Transportation
$x
Safety measures
$x
Data processing
$v
Congresses.
$3
316759
650
0
$a
Formal methods (Computer science)
$3
124486
650
0
$a
System safety
$v
Congresses.
$3
243271
650
1 4
$a
Engineering.
$3
120442
650
2 4
$a
Quality Control, Reliability, Safety and Risk.
$3
121187
650
2 4
$a
Automotive Engineering.
$3
240550
650
2 4
$a
Simulation and Modeling.
$3
120969
650
2 4
$a
Complexity.
$3
120804
700
1
$a
Schnieder, Eckehard.
$3
316757
700
1
$a
Tarnai, Geza.
$3
316758
710
2
$a
SpringerLink (Online service)
$3
120363
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-14261-1
950
$a
Engineering (Springer-11647)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login