First-order programming theories

著者

• Gergely, T. (Tamás)
• Úry, László

書誌事項

First-order programming theories

Tamás Gergely, László Úry

（EATCS monographs on theoretical computer science, v. 24）

Springer-Verlag, c1991

• : Berlin
• : New York

注記

Bibliographical references: p. [334]-340

Includes index

詳細情報

• NII書誌ID(NCID): BA13455211
• ISBN:
  • 3540542779
  • 0387542779
• LCCN: 91027370
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: ix, 351 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC20 : 005.1
• 件名:
  • LCSH : Electronic digital computers -- Programming
• 親書誌ID:
  • BA00007320