Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal methods for industrial critic...
~
(1998 :)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal methods for industrial critical systemsedited by Maria Alpuente, Byron Cook, Christophe Joubert.
Reminder of title:
14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
other author:
Cook, Byron.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009.
Description:
x, 212 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Formal methods (Computer science)
Online resource:
http://dx.doi.org/10.1007/978-3-642-04570-7
ISBN:
9783642045707 (electronic bk.)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
Formal methods for industrial critical systems
14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /[electronic resource] :edited by Maria Alpuente, Byron Cook, Christophe Joubert. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2009. - x, 212 p. :ill., digital ;24 cm. - Lecture notes in computer science,58250302-9743 ;.
ISBN: 9783642045707 (electronic bk.)Subjects--Topical Terms:
277520
Formal methods (Computer science)
LC Class. No.: QA76.9.F67 / I63 2009
Dewey Class. No.: 005.131
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
LDR
:00969nmm 2200241 a 4500
001
240379
003
Springer
005
20100316170354.0
006
m d
007
cr nn 008maaau
008
100410s2009 gw j eng d
020
$a
9783642045707 (electronic bk.)
020
$a
9783642045691 (paper)
035
$a
978-3-642-04569-1
050
0 4
$a
QA76.9.F67
$b
I63 2009
082
0 4
$a
005.131
$2
22
090
$a
QA76.9.F67
$b
I61 2009
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal methods for industrial critical systems
$h
[electronic resource] :
$b
14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
$c
edited by Maria Alpuente, Byron Cook, Christophe Joubert.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag Berlin Heidelberg,
$c
2009.
300
$a
x, 212 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
5825
650
0
$a
Formal methods (Computer science)
$3
277520
650
0
$a
Software engineering
$3
253562
650
0
$a
Computer programs
$x
Verification
$v
Congresses.
$3
384456
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Special Purpose and Application-Based Systems.
$3
274487
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
700
1
$a
Cook, Byron.
$3
384454
700
1
$a
Joubert, Christophe.
$3
384455
700
1
$a
Alpuente, Maria.
$3
285633
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-04570-7
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000036651
電子館藏
1圖書
電子書
EB QA76.9.F67 I61 2009
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-04570-7
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login