大葉大學圖書館 |

登入

回上页

Formal techniques for networked and ...

NunezManuel

Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..

纪录类型:	书目-语言数据,印刷品 : Monograph/item
[NT 47271] Title/Author:	Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid../ de Frutos-Escrig,David;Nunez,Manuel
作者:	de Frutos-EscrigDavid
[NT 51406] other author:	NunezManuel
出版者:	Berlin : Springer-Verlag, 2004
面页册数:	375頁; 24x16公分
标题:	Formal methods(Computer scienc
ISBN:	3540232524(平裝)

Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..
de Frutos-EscrigDavid

Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..de Frutos-Escrig,David;Nunez,Manuel - 1st ed - BerlinSpringer-Verlag2004 - 375頁24x16公分 - Lecture Notes in Computer Science3235.

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

207638
Formal methods(Computer scienc

Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid..
LDR:00520nam 2200157 450 001 188757
008 100623t2004 de a a 000 0 eng d
020 $a 3540232524(平裝)
035 $a 9424352
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a de Frutos-EscrigDavid $3 211992
245 1 0 $a Formal techniques for networked and distributed systems - FORTE 2004,24th IFIP WG 6.1 international conference, Madrid.. $c de Frutos-Escrig,David;Nunez,Manuel
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2004
300 $a 375頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3235
650 $a Formal methods(Computer scienc $3 207638
700 $a NunezManuel $3 211984