Formal derivation of a class of computers

Author(s)

    • Wang ,Li-Guo

Bibliographic Information

Formal derivation of a class of computers

Li-Guo Wang

University of Edinburgh, Department of Computer Science, 1995

Available at  / 1 libraries

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)

Details

  • NCID
    BD0218581X
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    x, 231 p.
  • Size
    21 cm
Page Top