FM'99 - formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.
|aWorld Congress on Formal Methods in the Development of Computing Systems|d(1999 :|cToulouse, France)
245
10
|aFM'99 - formal methods|h[electronic resource] :|bWorld Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings.|nVolume II /|cJeannette M. Wing, Jim Woodcock, Jim Davies (eds.).
246
3
|aFormal methods
260
|aBerlin ;|aNew York :|bSpringer,|cc1999.
300
|a717 p. :|bill., digital ;|c23 cm.
440
0
|aLecture notes in computer science ;|v1708-1709
650
0
|aApplication software|xDevelopment|vCongresses.
650
0
|aFormal methods (Computer science)|vCongresses.
700
1
|aDavies, Jim.
700
1
|aWing, Jeannette Marie.
700
1
|aWoodcock, Jim.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-48118-4
950
|aComputer Science (Lecture Notes in Computer Science)