---

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland (ed.)
(Lecture notes in computer science ; 1579)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1999
形態	xi, 443 p. : ill. ; 24 cm
別書名	背表紙タイトル:TACAS '99 : tools and algorithms for the construction and analysis of systems
著者標目	*Workshop on Tools and Algorithms for the Construction and Analysis of Systems (5th : 1999 : Amsterdam, Netherlands) Cleaveland, Walter Rance, 1961-
件　名	LCSH:System design Congresses LCSH:Computer software -- Development Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00564822

 類似資料