عنوان
پدید آورنده
موضوع
رده
QA 76.73 .A54L83 1990
QA
76
.
73
.
A54L83
1990
کتابخانه
محل استقرار
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
New York
Springer-Verlag
c1990
xvi, 416p.: ill
Texts and monographs in computer science
Bibliography: p.]401[-410
ISBN: 3540972544
David Luckham
1
، Anna )Computer program language(
، Ada )Computer program language(
QA
76
.
73
.
A54L83
1990
Luckham, David C.
AU
TI
SE
