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
主题建议: Elections, Nonpartisan
Reset Filters
Show filters (1)
主题建议: Elections, Nonpartisan
  • 检索
  • Algebraic methodology and soft...
  • 引用
  • 发送短信
  • 推荐此
  • 打印
  • 导出纪录
    • 导出到 RefWorks
    • 导出到 EndNoteWeb
    • 导出到 EndNote
  • 加到收藏夹
  • Permanent link
Algebraic methodology and software technology (AMAST '93) : Proceedings of the Third International Conference on AlgebraicMethodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993 /

Algebraic methodology and software technology (AMAST '93) : Proceedings of the Third International Conference on AlgebraicMethodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993 /

Saved in:
书目详细资料
企业作者: International Conference on Algebraic Methodology and Software Technology University of Twente, British Computer Society
其他作者: Nivat, Maurice, 1937-
格式: 会议录 图书
语言:English
出版: London : Springer-Verlag, 1993.
丛编:Workshops in computing
主题:
Software engineering > Congresses.
Abstract data types (Computer science) > Congresses.
  • 持有资料
  • 实物特征
  • 职员浏览

CARM 1 Store

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

相似书籍

  • Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /
    出版: (1996)
  • Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /
    出版: (1995)
  • Algebraic specifications from programs /
    由: Foo, Norman Y.
    出版: (1986)
  • Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings /
    出版: (1991)
  • ACM transactions on software engineering and methodology.
    出版: (1992)
  • 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