,

Towards a Formal Description of Ada

Paperback Engels 1980 1980e druk 9783540102830
Verwachte levertijd ongeveer 9 werkdagen

Specificaties

ISBN13:9783540102830
Taal:Engels
Bindwijze:paperback
Aantal pagina's:546
Uitgever:Springer Berlin Heidelberg
Druk:1980

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Towards a Formal Description of Ada