TACAS 2001: 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

Shelfclass_id	3.A
Sortkey	TACAS
Authors	Tiziana Margaria, Wang Yi
Title	TACAS 2001: 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
Publisher	Springer
Year	c2001
Languages	eng
Isbn	3540418652
Series	Lecture Notes in Computer Science
Volume	2031
Issn	0302-9743
Description	xiv, 588 p. ill. 24 cm.
Record date	20090902
Location	New York
Keywords	System design, Computer software
Urlnote	Publisher description
Urls	http://www.loc.gov/catdir/enhancements/fy0816/2001020737-d.html