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

Programming with specifications : an introduction to ANNA a language for specifying Ada programs
出版社：New York : Springer-Verlag, c1990.
ISBN：0387972544
出版年：1990
作者：Luckham,David C.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

ANNA, a language for annotating Ada programs : reference manual
  • 作者：Luckham,David C.
  • ISBN：0387179801
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

Ada, an advanced introduction : including reference manual for the Ada programming language
  • 作者：Gehani,Narain,
  • ISBN：0130039977
  • 出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1984.
  • 出版年：1984
...

The Ada programming language : a guide for programmers
  • 作者：Pyle,I. C.
  • ISBN：0130039063
  • 出版社：Englewood Cliffs, N.J. : Prentice Hall International, 1985.
  • 出版年：1985
...

An introduction to programming with specifications : a mathematical approach
  • 作者：Kubiak,Ryszard.
  • ISBN：0124276202
  • 出版社：London ; San Diego : Academic Press, c1991.
  • 出版年：1991
...

Rationale for the design of the Ada programming language
  • 作者：Ichbiah,J.
  • ISBN：0521392675
  • 出版社：Cambridge [Cambridgeshire] ; New York: Cambridge University Press, 1991.
  • 出版年：1991
...

The Ada primer : an introduction to the Ada language system
  • 作者：Johnson,Philip I.
  • ISBN：0070326266
  • 出版社：New York : McGraw-Hill, c1985.
  • 出版年：1985