Towards a formal description of ada
Bjorner D Ed.
Towards a formal description of ada - Berlin Springer Verlag 1980 - xii, 630p. cm. - Lecture notes in computer science; 98 .
Bibliography 625-629p.
46347
Textual
Computer science
D65,8(B)92, M01
Towards a formal description of ada - Berlin Springer Verlag 1980 - xii, 630p. cm. - Lecture notes in computer science; 98 .
Bibliography 625-629p.
46347
Textual
Computer science
D65,8(B)92, M01
