大葉大學圖書館 |

登入

回首頁

Formal methods for the design of rea...

Bernardo Marco

Formal methods for the design of real time systems: international school on formal methods ofr the design of computer...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods for the design of real time systems: international school on formal methods ofr the design of computer.../ Bernardo, Marco;Corradini,Flavio
作者:	Bernardo Marco
其他作者:	CorradiniFlavio
出版者:	Berlin : Springer-Verlag, 2004
面頁冊數:	293頁; 24x16公分
標題:	Real-time control - Congresses
標題:	Real-time programming - Congre
標題:	Real-time data processing - Co
ISBN:	3540230688(平裝)

Formal methods for the design of real time systems: international school on formal methods ofr the design of computer...
Bernardo Marco

Formal methods for the design of real time systems: international school on formal methods ofr the design of computer...Bernardo, Marco;Corradini,Flavio - 1st ed - BerlinSpringer-Verlag2004 - 293頁24x16公分 - Lecture Notes in Computer Science3185.

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

216852
Real-time control - Congresses

Formal methods for the design of real time systems: international school on formal methods ofr the design of computer...
LDR:00517nam 2200157 450 001 191952
008 100623t2004 de a a 000 0 eng d
020 $a 3540230688(平裝)
035 $a 9500083
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Bernardo Marco $3 206116
245 1 0 $a Formal methods for the design of real time systems: international school on formal methods ofr the design of computer... $c Bernardo, Marco;Corradini,Flavio
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2004
300 $a 293頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3185
650 $a Real-time control - Congresses $3 216852
650 $a Real-time programming - Congre $3 216853
650 $a Real-time data processing - Co $3 216854
700 $a CorradiniFlavio $3 216851