عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.98
QA
76
.
L4
v
.
98
کتابخانه
محل استقرار
English
Towards a formal description of Ada
Berlin, New York
Springer-Verlag
1980
xii, 630 p. ; 25 cm
Lecture notes in computer science, 89
References and bibliography: p. 626-630
edited by D. Bjorner and O.N. Oest
1
، Ada )Computer program language(
، Programming languages )Electronic computers( - Semantics
QA
76
.
L4
v
.
98
CA
001
.
64/24
TI
AU Bjorner, Dines 1937-
AU Oest, O. N.
SE
