عنوان
پدید آورنده
موضوع
رده
QA76.73.A35 E358 1980
QA76
.
73
.
A35
E358
1980
کتابخانه
محل استقرار
3540384154
9783540384151
b565868
Towards a formal description of Ada
[Book]
edited by D. Bjørner and O.N. Oest.
Berlin ; New York
Springer-Verlag
1980
(xii, 630 pages)
Lecture notes in computer science, 98.
The DDC Ada compiler development method --; A denotational (static) semantics method for defining Ada context conditions --; A formal semantics definition of sequential Ada --; Parallelism in Ada --; The design of a virtual machine for Ada.
Ada (Computer program language)
ADA.
Programming languages (Electronic computers) -- Semantics.
QA76
.
73
.
A35
E358
1980
edited by D. Bjørner and O.N. Oest.
D Bjørner
O N Oest
مطالعه متن کتاب [Book]
Y
