---

Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Jotst-Pieter Katoen, Perdita Stevens (eds.)
(Lecture notes in computer science ; 2280)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	xiii, 482 p. : ill. ; 24 cm
別書名	表紙タイトル:Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
著者標目	*Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (8th : 2002 : Grenoble, France) European Conferences on Theory and Practice of Software (ETAPS) (8th : 2002 : Grenoble, France) Katoen, Joost-Pieter Stevens, Perdita
件　名	LCSH:System design -- Congresses  全ての件名で検索 LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00641173

 類似資料