9783540102830 - towards a formal description of ada (lecture notes in computer science, 98, band 98) von oest, o.n.; bjorner, d (2 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Springer 1980

      3540102833 / 9783540102830

      • Softcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 115,54

      EUR 13,87 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In.

    • Sprache: Englisch

      Verlag: Springer, Springer 1980

      3540102833 / 9783540102830

      • Softcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 106,99

      EUR 64,83 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.