| Type |  Book |
| ชื่อเรื่อง | 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.) |
| ผู้แต่ง | TACAS 2001 (2001 : Genoa, Italy) |
| ISBN | 3540418652 |
| พิมพลักษณ์ | Berlin : Springer, 2001 |
| รูปเล่ม | xiv, 588 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Development --Congresses [] |
| | System design --Congresses [] |