Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
|aTools and algorithms for the construction and analysis of systems|h[electronic resource] :|b5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /|cW. Rance Cleaveland, ed.
260
|aBerlin ;|aNew York :|bSpringer,|cc1999.
300
|axi, 443 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1579
650
0
|aComputer software|xDevelopment|vCongresses.
650
0
|aSystem design|vCongresses.
700
1
|aCleaveland, W. Rance.
710
2
|aSpringerLink (Online service)
711
2
|aETAPS '99|d(1999 :|cAmsterdam, Netherlands)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-49059-0
950
|aComputer Science (Lecture Notes in Computer Science)