bokomslag Towards a Formal Description of Ada
Data & IT

Towards a Formal Description of Ada

Dines Bjorner O N Oest

Pocket

1509:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 630 sidor
  • 1980
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.

  • Författare: Dines Bjorner, O N Oest
  • Illustratör: Zahlr Abb
  • Format: Pocket/Paperback
  • ISBN: 9783540102830
  • Språk: Engelska
  • Antal sidor: 630
  • Utgivningsdatum: 1980-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K