Skip to content
CAVAL Home
  • Start Over
  • 我的帐户
  • 退出
  • 登录
  • 语言
    • 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
    • हिंदी
    • Հայերէն
    • Українська
高级检索
Reset Filters
主题建议: Smoking
Reset Filters
Show filters (1)
主题建议: Smoking
  • 检索
  • Formal description of programm...
  • 引用
  • 发送短信
  • 推荐此
  • 打印
  • 导出纪录
    • 导出到 RefWorks
    • 导出到 EndNoteWeb
    • 导出到 EndNote
  • 加到收藏夹
  • Permanent link
Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Saved in:
书目详细资料
企业作者: IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B.
其他作者: Neuhold, Erich J.
格式: 会议录 图书
语言:English
出版: Amsterdam ; New York : North-Holland Pub. Co., 1978.
主题:
Electronic digital computers > Programming > Congresses.
Formal languages > Congresses.
  • 持有资料
  • 实物特征
  • 职员浏览

CARM 1 Store

持有资料详情 CARM 1 Store
索引号: A2:AH31C0 B03496
复印件 1 可用  预订

相似书籍

  • Using formal description techniques : an introduction to Estelle, LOTOS, and SDL /
    出版: (1993)
  • Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques /
    出版: (1995)
  • Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 /
    出版: (1979)
  • Formal languages /
    由: Salomaa, Arto
    出版: (1973)
  • Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
    出版: (1976)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map