大葉大學圖書館 |

登入

回首頁

Tools and algorithms for the constru...

HalbwachsNicolas

Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005/ Halbwachs,Nicolas;Zuck,Lenore D.
作者:	HalbwachsNicolas
其他作者:	ZuckLenore D.
出版者:	Berlin : Springer, 2005
面頁冊數:	588頁; 24x16公分
標題:	System design -- Congresses
標題:	Computer software-Development
ISBN:	3540253335(平裝)

Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005
HalbwachsNicolas

Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005Halbwachs,Nicolas;Zuck,Lenore D. - 1st ed - BerlinSpringer2005 - 588頁24x16公分 - Lecture Notes in Computer Science3440.

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

204858
System design -- Congresses

Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005
LDR:00504nam 2200157 450 001 185675
008 100623t2005 de a a 000 0 eng d
020 $a 3540253335(平裝)
035 $a 9413034
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a HalbwachsNicolas $3 206159
245 1 0 $a Tools and algorithms for the construction and analysis of systems: 11th International Conference,TACAS 2005 $c Halbwachs,Nicolas;Zuck,Lenore D.
250 $a 1st ed
260 $a Berlin $b Springer $c 2005
300 $a 588頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 3440
650 $a System design -- Congresses $3 204858
650 $a Computer software-Development $3 135440
700 $a ZuckLenore D. $3 206160