大葉大學圖書館 |

言語: 日文

Formal modeling and analysis of time...

LarsenKim G.

Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,...

レコード種別:	言語・文字資料 (印刷物) : 単行資料
タイトル / 著者:	Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,.../ Larsen,Kim G.;Niebert,Peter
著者:	LarsenKim G.
その他の著者:	NiebertPeter
出版された:	Berlin : Springer, 2004
記述:	280頁; 24x16公分
主題:	Computer simulation
主題:	Temporal automata - Congresses
国際標準図書番号 (ISBN) :	3540216715(平裝)

Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,...
LarsenKim G.

Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,...Larsen,Kim G.;Niebert,Peter - 1st ed - BerlinSpringer2004 - 280頁24x16公分 - Lecture Notes in Computer Science2791.

ISBN: 3540216715(平裝)Subjects--Topical Terms:

135208
Computer simulation

Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,...
LDR:00501nam 2200157 450 001 191919
008 100623t2004 de a a 000 0 eng d
020 $a 3540216715(平裝)
035 $a 9500033
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a LarsenKim G. $3 216767
245 1 0 $a Formal modeling and analysis of timed systems: first international workshop,FORMATS 2003,Marseille,France,... $c Larsen,Kim G.;Niebert,Peter
250 $a 1st ed
260 $a Berlin $b Springer $c 2004
300 $a 280頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2791
650 $a Computer simulation $3 135208
650 $a Temporal automata - Congresses $3 211154
700 $a NiebertPeter $3 216768