登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

ANNA a language for annotating Ada programs : reference manual
出版社：Berlin ; New York : Springer-Verlag, c1987.
ISBN：0387179801
出版年：1987
作者：Luckham,David C.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
  • 作者：Luckham,David C.
  • ISBN：0387972544
  • 出版社：New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Ada 95 Reference Manual: The language the standard libraries
  • 作者：U.S.Gov
  • ISBN：CNY200.00
  • 出版社：USA Intermatrics,Inc 1995
  • 出版年：1995
...

The programming language Ada : reference manual.
  • 作者：Barstow,
  • ISBN：0387123288
  • 出版社：Berlin : Springer-Verlag, 1983.
  • 出版年：1983
...

The programming language Ada reference manual.
  • 出版社：Berlin : Springer, 1981.
  • 出版年：1981
...

The programming language Ada reference manual.
  • 作者：United States Department of Defense.
  • ISBN：3540106936
  • 出版社：Berlin : Springer, 1981.
  • 出版年：1981
...

Ada 95 Reference Manual: The language the standard libraries
  • 作者：U.S.Gov
  • 出版社：USA Intermatrics,Inc 1995
  • 出版年：1995