---

Tools and algorithms for the construction and analysis of systems : second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.)
(Lecture notes in computer science ; 1055)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1996
形態	xi, 434 p. : ill. ; 24 cm
著者標目	*Workshop on Tools and Algorithms for the Construction and Analysis of Systems (2nd : 1996 : Passau, Germany) Margaria, Tiziana Steffen, Bernhard
件　名	LCSH:System design -- Congresses  全ての件名で検索 LCSH:Computer software -- Development -- Congresses  全ての件名で検索 LCSH:Electronic data processing -- Distributed processing -- Congress  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00499322

 類似資料