Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
Author(s)
Bibliographic Information
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
(Workshops in computing)
Springer-Verlag, c1993
- : us : acid-free
- : gw : acid-free
Available at / 11 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: gw : acid-free007.64:Th-3:1931015190
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: us : acid-free005.1/b932070330192
-
No Libraries matched.
- Remove all filters.
Note
Papers based on proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, held at Chelwood Gate, Sussex, UK, 1993
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index