,

Towards a Formal Description of Ada

Paperback Engels 1980 1980e druk 9783540102830
€ 126,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

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

€ 126,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Towards a Formal Description of Ada