Formal derivation of a class of computers
Author(s)
Bibliographic Information
Formal derivation of a class of computers
University of Edinburgh, Department of Computer Science, 1995
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
WAN||25||1200043638658
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliography (p. 222-231)
Author's thesis (Ph.D.)--University of Edinbungh, 1994
CST-119-95 (also published as ECS-LFCS-95-329)