عنوان
پدید آورنده
موضوع
رده
QA76.73.A35 E358 1980
QA76
.
73
.
A35
E358
1980
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540384154
(Number (ISBN
9783540384151
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565868
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Towards a formal description of Ada
General Material Designation
[Book]
First Statement of Responsibility
edited by D. Bjørner and O.N. Oest.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1980
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xii, 630 pages)
SERIES
Series Title
Lecture notes in computer science, 98.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Ada (Computer program language)
ADA.
Programming languages (Electronic computers) -- Semantics.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
73
.
A35
Book number
E358
1980
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by D. Bjørner and O.N. Oest.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
D Bjørner
O N Oest
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
