Mathematical proofs of computer system correctness

Author(s)

Bibliographic Information

Mathematical proofs of computer system correctness

Jon Barwise

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-89-136）

Center for the Study of Language and Information, 1989

Available at  / 1 libraries

Search this Book/Journal

Note

"August 1989"

Related Books： 1-1 of 1

Details

  • NCID
    BB26636737
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Stanford, CA
  • Pages/Volumes
    13 leaves.
  • Size
    28 cm
  • Parent Bibliography ID
Page Top