大葉大學圖書館 |

登入

回首頁

Operational semantics for timed syst...

Rust Heinrich

Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems/ Rust, Heinrich
作者:	Rust Heinrich
出版者:	Berlin : Springer, 2005
面頁冊數:	223頁; 24x16公分
標題:	Real-time data processing
標題:	Real-time programming
標題:	Hybrid computers
ISBN:	3540255761(平裝)

Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
Rust Heinrich

Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systemsRust, Heinrich - 1st ed - BerlinSpringer2005 - 223頁24x16公分 - Lecture Notes in Computer Science3456.

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

206102
Real-time data processing

Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems
LDR:00491nam 2200157 450 001 185653
008 100623t2005 de a a 000 0 eng d
020 $a 3540255761(平裝)
035 $a 9412840
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Rust Heinrich $3 206101
245 1 0 $a Operational semantics for timed systems: a non-standard approach to uniform modeling of timed and hybrid systems $c Rust, Heinrich
250 $a 1st ed
260 $a Berlin $b Springer $c 2005
300 $a 223頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3456
650 $a Real-time data processing $3 206102
650 $a Real-time programming $3 202820
650 $a Hybrid computers $3 206103