コンテンツを見る
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
言語
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
タグ
検索
詳細検索
The foundations of program ver...
この資料を引用
この資料をSMS送信
この資料をメール
印刷
エクスポート
エクスポート先: RefWorks
エクスポート先: EndNoteWeb
エクスポート先: EndNote
パーマネントリンク
The foundations of program verification /
57
書誌詳細
主要な著者:
Loeckx, Jacques, 1931-
,
Sieber, Kurt
フォーマット:
出版事項:
Chichester : John Wiley,
1984
主題:
Computer programs
所蔵
その他の書誌記述
類似資料
MARC表示
類似資料
Automata, languages and programming : proceedings /
著者:: 11198 International Colloquium on Automata, Languages and Programming, 等
出版事項: (1974)
An introduction to formal program verification /
著者:: 208742 Mili, Ali
出版事項: (1985)
Foundations of programming/
著者:: 398363 Moss, John
出版事項: (1978)
Foundations of logic programming /
著者:: 269625 Lloyd, J. W. (John Wylie), 1947-
出版事項: (1987)
Theory of program structures : schemes, semantics, verification /
著者:: 396294 Greibach, Sheila, 1939-
出版事項: (1975)