| NCID | BA00720987 |
| タイトル | ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.] |
| 出版者 | Berlin ; Tokyo : Springer-Verlag , c1987 |
| 形態 | v, 143 p. ; 25 cm |
| 別書名 | ANNA
ANNA reference manual
|
| 注記 | Includes index |
| シリーズ名 | Lecture notes in computer science ; 260
|
| 分類 | LCC:QA76.73.A54
DC19:005.13
NDC8:007.64 |
| 件名 | LCSH:ANNA(Computerprogramlanguage)
LCSH:Ada(Computerprogramlanguage)
NDLSH:プログラミング用言語
|
| 著者情報 | Luckham, David C.
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3540179801(: gw)
0387179801(: us)
|
| 番号 | LCCN : 87013030 |