Prospects for automatic verification of programs

CiNii 所蔵館 2館

書誌事項

タイトル
"Prospects for automatic verification of programs"
責任表示
Erik P. Jensen
出版者
  • 資料協会
出版年月
  • [19--]
書籍サイズ
25 cm

この図書・雑誌をさがす

注記

Reprint. Originally distributed by NTIS (National Technical Information Service, U.S. Depertment of Commerce)

"Prepared for Rome Air Development Center, February 1974"

"Report number: RADC-TR-74-16"

"JTRA" -- Cover

Includes bibliographical references (l. 62-66)

AD777193

関連図書・雑誌

もっと見る

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

  • CRID
    1130282269079287168
  • NII書誌ID
    BB05675016
  • 本文言語コード
    en
  • 出版国コード
    ja
  • タイトル言語コード
    en
  • 出版地
    • [S.l.]
  • データソース種別
    • CiNii Books
ページトップへ