KI-Beratung Beta

  • Produktbild: Towards a Formal Description of Ada
  • Produktbild: Towards a Formal Description of Ada
Band 98

Towards a Formal Description of Ada

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1980

Abbildungen

XIV, 630 p.

Herausgeber

D. Bjorner + weitere

Verlag

Springer Berlin

Seitenzahl

630

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

966 g

Auflage

1980

Sprache

Englisch

ISBN

978-3-540-10283-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1980

Abbildungen

XIV, 630 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

630

Maße (L/B/H)

23,5/15,5/3,5 cm

Gewicht

966 g

Auflage

1980

Sprache

Englisch

ISBN

978-3-540-10283-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Towards a Formal Description of Ada
  • Produktbild: Towards a Formal Description of Ada
  • 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.