Syntaxe, sémantique et axiomatique d'un langage de programmation simple

著者

• Vuillemin, Jean

書誌事項

Syntaxe, sémantique et axiomatique d'un langage de programmation simple

Jean Vuillemin

（Interdisciplinary systems research, 12）

Birkhäuser, 1975

注記

Summary in English and French

Bibliography: p. 110-113

Includes indexes

詳細情報

• NII書誌ID(NCID): BA37629951
• ISBN:
  • 3764307900
• LCCN: 76461369
• 出版国コード: sz
• タイトル言語コード: fre
• 本文言語コード: fre
• 出版地: Basel ; Stuttgart
• ページ数/冊数: 113 p.
• 大きさ: 23 cm.
• 分類:
  • LCC : QA76.7
  • DC : 001.6/424
• 件名:
  • LCSH : Programming languages (Electronic computers)
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00407453