Towards a formal Description of Ada Ed. by Dines Bjørner and O. N. Oest
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin, Heidelberg, New York
Springer
1980
|
| Series: | Lecture notes in computer science
98 |
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 189764 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 245 | 1 | 0 | |a Towards a formal Description of Ada |b Ed. by Dines Bjørner and O. N. Oest |
| 246 | 3 | |a DESCRIPTION formal Ada | |
| 264 | 1 | |a Berlin, Heidelberg, New York |b Springer |c 1980 | |
| 300 | |a XII, 630 S. |b m. Diagr. |c 8° | ||
| 490 | 0 | |a Lecture notes in computer science |v 98 | |
| 500 | |a DESCRIPTION formal Ada -- Towards a formal Description of Ada. Ed. by -- D[ines]Bjørner and O.N.Oest. - Berlin, Hei- -- delberg, New York: Springer 1980. XII, 630 S. -- m. Diagr. 8° -- (Lecture notes in computer science. 98.) -- 1981:2289. Kr. | ||
| 700 | 1 | |a Bjørner, Dines |e Hrsg. | |
| 700 | 1 | |a Oest, O. N. |e Hrsg. | |
| 852 | |c 78.477/98 | ||
| 999 | |a Monographie | ||
| 591 | |a description: DESCRIPTION formal AdaTowards a formal Description of Ada.Ed.byDinesBjrner and O.N.CDest. Berlin,Heidelberg, New York:Springer 198o.XII,63o S.m.Diagr.8 Lecture notes in Computer science.98. 1981:2289. Kr. |a signature: 78.47798 |a published: 1981 | ||