Tools and algorithms for the construction and analysis of systems 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
|aTools and algorithms for the construction and analysis of systems|h[electronic resource] :|b8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /|cJoost-Pieter Katoen, Perdita Stevens, eds.
260
|aBerlin :|aNew York :|bSpringer,|cc2002.
300
|axiii, 482 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2280
650
0
|aComputer software|xDevelopment|vCongresses.
650
0
|aSystem design|vCongresses.
700
1
|aKatoen, Joost-Pieter.
700
1
|aStevens, Perdita.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-46002-0
950
|aComputer Science (Lecture Notes in Computer Science)