Foundations of software science and computation structures 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /
|aFoundations of software science and computation structures|h[electronic resource] :|b4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /|cFurio Honsell, Marino Miculan (Eds.).
260
|aNew York :|bSpringer,|cc2001.
300
|axii, 412 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2030
650
0
|aComputer software|vCongresses.
650
0
|aSystem analysis|vCongresses.
700
1
|aHonsell, Furio.
700
1
|aMiculan, Marion.
710
2
|aSpringerLink (Online service)
711
2
|aInternational Joint Conference on Theory and Practice of Software Development|d(2001 :|cGenova, Italy)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45315-6
950
|aComputer Science (Lecture Notes in Computer Science)