Towards a Formal Description of Ada

Bibliographic Details
Main Author: Bjørner, D.
Other Authors: Nest, O.
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1980, 1980
Series:Lecture Notes in Computer Science
Online Access:
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
Description
ISBN:9783540102830