A programming logic : with an introduction to the PL/CV verifier

Web Site CiNii 所蔵館 27館

書誌事項

タイトル
"A programming logic : with an introduction to the PL/CV verifier"
責任表示
Robert L. Constable, Michael J. O'Donnell ; contributions by Scott D. Johnson
出版者
  • Winthrop Publishers
出版年月
  • c1978
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Bibliography: p. 370-381

Includes index

詳細情報 詳細情報について

  • CRID
    1970867909838511240
  • NII書誌ID
    BA04148765
  • ISBN
    0876267266
  • LCCN
    78010650
  • Web Site
    https://lccn.loc.gov/78010650
  • 本文言語コード
    en
  • 出版国コード
    us
  • タイトル言語コード
    en
  • 出版地
    • Cambridge, Mass.
  • 分類
  • データソース種別
    • NACSIS-CAT/ILL
    • CiNii Books
ページトップへ