大葉大學圖書館 |

登入

回首頁

Formal techniques for networked and ...

HeinerMonika

Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,../ Konig, Hartmut;Heiner,Monika;Wolisz,Adam
作者:	Konig Hartmut
其他作者:	HeinerMonika
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	429頁; 24x16公分
標題:	Formal methods(Computer scienc
ISBN:	3540201750(平裝)

Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..
Konig Hartmut

Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..Konig, Hartmut;Heiner,Monika;Wolisz,Adam - 1st ed - BerlinSpringer-Verlag2003 - 429頁24x16公分 - Lecture Notes in Computer Science2767.

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

207638
Formal methods(Computer scienc

Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,..
LDR:00525nam 2200157 450 001 190295
008 100623t2003 de a a 000 0 eng d
020 $a 3540201750(平裝)
035 $a 9427465
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Konig Hartmut $3 214527
245 1 0 $a Formal techniques for networked and distributed systems- FORTE 2003: 23rd IFIP WG 6.1 international conference,Berlin,.. $c Konig, Hartmut;Heiner,Monika;Wolisz,Adam
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 429頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2767
650 $a Formal methods(Computer scienc $3 207638
700 $a HeinerMonika $3 214528
700 $a WoliszAdam $3 214529