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 /
|aTools and algorithms for the construction and analysis of systems|h[electronic resource] :|b7th 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 /|cTiziana Margaria, Wang Yi (eds.).
246
30
|aETAPS 2001
246
30
|aTACAS 2001
260
|aNew York :|bSpringer,|cc2001.
300
|axiv, 588 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2031
650
0
|aComputer software|xDevelopment|vCongresses.
650
0
|aSystem design|vCongresses.
700
1
|aMargaria, Tiziana.
700
1
|aYi, Wang.
710
2
|aSpringerLink (Online service)
711
2
|aETAPS 2001|d(2001 :|cGenoa, Italy)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45319-9
950
|aComputer Science (Lecture Notes in Computer Science)