Tools and algorithms for the construction and analysis of systems 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /
|aTools and algorithms for the construction and analysis of systems|h[electronic resource] :|b4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /|cBernhard Steffen, (ed.).
260
|aNew York :|bSpringer,|cc1998.
300
|axiii, 455 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1384
650
0
|aComputer software|xDevelopment|xCongresses.
650
0
|aSystem design|xCongresses.
700
1
|aSteffen, Bernhard.
710
2
|aSpringerLink (Online service)
711
2
|aETAPS '98|d(1998 :|cLisbon, Portugal)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/BFb0054159
950
|aComputer Science (Lecture Notes in Computer Science)