Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Author(s)
Bibliographic Information
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
(Lecture notes in computer science, 2885)
Springer, c2003
Available at / 23 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||288503054471
-
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.2885007.6/L507/v.288506029442,
007.6/L507/v.288506029442 -
University of Tsukuba Library, Library on Library and Information Science
007.08-L49-288510003308670
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index