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 -
Kobe University Library for Science and Technology
v. 1548-0-6//1708030009907544,
v. 2548-0-6//1709030009907545 -
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.1708007.6/L507/v.170805403583,
V.1709007.6/L507/v.170905403592, v. 1007.6/L507/v.170805403583 -
v. 1QA:76.9:F67:W67:1999:v.1002873307,
v. 2QA:76.9:F67:W67:1999:v.2002873235 -
University of Tsukuba Library, Library on Library and Information Science
v. 1007.08:L-49:1708991003930,
v. 2007.08:L-49:1709991003940 -
Digital Library of Nara Institute of Science and Technology
v. 1AB||23||17080027790,
v. 2AB||23||17090027791 -
Hiroshima University Central Library, Interlibrary Loan
v. 1007:L-49:1708/HL4010004000410054,
v. 2007:L-49:1709/HL4010004000410055 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref