Towards a Formal Description of Ada

648 Seiten, Taschenbuch
€ 127,80
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer
ISBN 9783540102830
Sprache Englisch
Erscheinungsdatum 01.12.1980
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von D. Bjorner, O. N. Oest
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

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.

Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer
ISBN 9783540102830
Sprache Englisch
Erscheinungsdatum 01.12.1980
Größe 235 x 155 mm
Verlag Springer
Herausgegeben von D. Bjorner, O. N. Oest
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post