Result: Towards a formal description of Ada

*Title*:

Towards a formal description of Ada / ed. by D. Bjørner ...

*Author/editor-in-chief*:

*Publication*:

Berlin [u.a.] : Springer, 1980

*Physical description scale*:

XII, 630 S. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Lecture notes in computer science ; 98
*show_all_volumes*

*RVK-Notation*:

*ISBN*:

3540102833 ; 0387102833

*L1_Classifications*:

*Result*: Towards a formal description of Ada