Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2988)
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004 : held as part of the joint European conferences on theory and practice of software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings. : Mar 2004, Barcelona, Spain.
(Lecture Notes in Computer Science ; 2988)
国立国会図書館請求記号
M17-04-3043
国立国会図書館書誌ID
000007413122
資料種別
図書
著者
Universitat Politecnica de Catalunya (UPC) . LSI Department.ほか