FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
Author(s)
Bibliographic Information
FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
(Lecture notes in computer science, 1708,
Springer, c1999
- v. 1
- v. 2
Available at 37 libraries
-
Kwansei Gakuin University Library上ケ原
v. 1510.78:265:17080002891265,
v. 2510.78:265:17090002891273 -
Science and Technology Library, Kyushu University
v. 1408/L 49061232004021335,
v. 2408/L 49061232004021347 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
v. 1L/N||LNCS||170899052915,
v. 2L/N||LNCS||170999052916
Note
Includes bibliographical references and index
"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref