大葉大學圖書館 |

登入

回首頁

Formal techniques, modelling and ana...

Lakhnech Yassine

Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on ...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal techniques, modelling and analysis of timed and fault tolerant systems: joint international conferences on .../ Lakhnech, Yassine;Yovine,Sergio
作者:	Lakhnech Yassine
其他作者:	YovineSergio
出版者:	Berlin : Springer-Verlag, 2004
面頁冊數:	395頁; 24x16公分
標題:	Computer simulation - Congress
標題:	Temporal automata - Congresses
標題:	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