---

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
(Lecture notes in computer science ; 2031)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2001
形態	xiv, 588 p. : ill. ; 24 cm
著者標目	International Conference, TACAS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001 (7th : 2001 : Genova, Italy) Margaria, Tiziana Yi, Wang
分　類	NDC:549.92
書誌ID	LT00614908

 類似資料