Formal semantics of lips with applications to program correctness

Author(s)

Bibliographic Information

Formal semantics of lips with applications to program correctness

by Malcolm Charles Newey

University Microfilms International, 1974

Available at  / 1 libraries

Search this Book/Journal

Note

Facsim. Reprint of the author's thesis (Ph.D.)--Stanford University, 1974

Includes bibliographical references (leaves 169-173)

Details

  • NCID
    BC16133533
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor
  • Pages/Volumes
    xii, 173 leaves
  • Size
    21 cm
Page Top