Language:
English
日文
簡体中文
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal techniques, modelling and ana...
~
Lakhnech Yassine
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on .../ Lakhnech, Yassine;Yovine,Sergio
Author:
Lakhnech Yassine
other author:
YovineSergio
Published:
Berlin : Springer-Verlag, 2004
Description:
395頁; 24x16公分
Subject:
Computer simulation - Congress
Subject:
Temporal automata - Congresses
Subject:
Formal methods (Computer scien
ISBN:
3540231676(平裝)
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
Lakhnech Yassine
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
Lakhnech, Yassine;Yovine,Sergio - 1st ed - BerlinSpringer-Verlag2004 - 395頁24x16公分 - Lecture Notes in Computer Science3253.
ISBN: 3540231676(平裝)Subjects--Topical Terms:
210399
Computer simulation - Congress
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
LDR
:00513nam 2200157 450
001
188317
008
100623t2004 de a a 000 0 eng d
020
$a
3540231676(平裝)
035
$a
9423236
040
$b
eng
$c
DYU
041
$a
eng
044
$a
de
100
$a
Lakhnech Yassine
$3
211152
245
1 0
$a
Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...
$c
Lakhnech, Yassine;Yovine,Sergio
250
$a
1st ed
260
$a
Berlin
$b
Springer-Verlag
$c
2004
300
$a
395頁
$c
24x16公分
490
$a
Lecture Notes in Computer Science
$v
3253
650
$a
Computer simulation - Congress
$3
210399
650
$a
Temporal automata - Congresses
$3
211154
650
$a
Formal methods (Computer scien
$3
204364
700
$a
YovineSergio
$3
211153
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
801003300000011
四樓西文圖書區
1.圖書流通
圖書
003.3 L149
1.一般(Normal)
On shelf
0
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login