ISBN: 9783540102830 - towards a formal description of ada (lecture notes in computer science, 98, band 98) (2 Ergebnisse)

von D. Bjørner
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 131,43

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

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: 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 124,85

    EUR 35,00 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.…