Towards a formal description of Ada /
Saved in:
其他作者: | , |
---|---|
格式: | 图书 |
语言: | English |
出版: |
Berlin ; New York :
Springer-Verlag,
1980.
|
丛编: | Lecture notes in computer science ;
98. |
主题: |
CARM 1 Store
索引号: |
A2:AL20E0 C05352 |
---|---|
复印件 1 | 可用 预订 |