FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /
|aInternational Symposium of Formal Methods Europe|n(4th :|d1997 :|cGraz, Austria)
245
10
|aFME '97, industrial applications and strengthened foundations of formal methods|h[electronic resource] :|b4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /|cJohn Fitzgerald, Cliff B. Jones, Peter Lucas (eds.)
246
3
|aIndustrial applications and strengthened foundations of formal methods
260
|aBerlin ;|aNew York :|bSpringer,|cc1997.
300
|axiii, 684 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v1313
650
0
|aSystem design|xMethodology|xCongresses.
700
1
|aFitzgerald, John.
700
1
|aJones, Cliff B.
700
1
|aLucas, Peter.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-63533-5
950
|aComputer Science (Lecture Notes in Computer Science)