大葉大學圖書館 |

登入

回首頁

Tools and algorithms for the constru...

JensenKurt

Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004/ Jensen,Kurt;Podelski,Andreas
作者:	JensenKurt
其他作者:	PodelskiAndreas
出版者:	Berlin : Springer-Verlag, 2004
面頁冊數:	608頁; 24x16公分
標題:	System design -- Congresses
標題:	Computer software-Development-
ISBN:	354021299X(平裝)

Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004
JensenKurt

Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004Jensen,Kurt;Podelski,Andreas - 1st ed - BerlinSpringer-Verlag2004 - 608頁24x16公分 - Lecture Notes in Computer Science2988.

ISBN: 354021299X(平裝)Subjects--Topical Terms:

204858
System design -- Congresses

Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004
LDR:00499nam 2200157 450 001 185227
008 100623t2004 de a a 000 0 eng d
020 $a 354021299X(平裝)
035 $a 9411783
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a JensenKurt $3 164486
245 1 0 $a Tools and algorithms for the construction and analysis of systems:10th International Conference,TACAS 2004 $c Jensen,Kurt;Podelski,Andreas
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2004
300 $a 608頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2988
650 $a System design -- Congresses $3 204858
650 $a Computer software-Development- $3 145606
700 $a PodelskiAndreas $3 205284