Articles liés à Towards a Formal Description of Ada
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Towards a Formal Description of Ada
Image fournie par le vendeur
Towards a Formal Description of Ada
Edité par
Springer, Germany, 1980
ISBN 10 : 3540102833
ISBN 13 : 9783540102830
Ancien ou d'occasion
Trade Paperback
Vendeur : Alhambra Books, Edmonton, AB, Canada
Évaluation du vendeur 5 sur 5 étoiles
Trade Paperback. Etat : Very Good. Lecture Notes in Computer Science 98. 630 pp. Light rubbing, lightly creased corners. Interior unmarked. Spine straight and uncreased. N° de réf. du vendeur 023152
Acheter D'occasion
EUR 11,86
Expédition à EUR 31,46
Expédition depuis Canada vers Etats-Unis
Expédition depuis Canada vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Towards a Formal Description of Ada
Edité par
Springer, 1980
ISBN 10 : 3540102833
ISBN 13 : 9783540102830
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5908075
Acheter D'occasion
EUR 129,95
Expédition à EUR 2,37
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540102830
Acheter neuf
EUR 130,52
Expédition à EUR 2,70
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards a Formal Description of Ada
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5908075-n
Acheter neuf
EUR 130,85
Expédition à EUR 2,37
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards a Formal Description of Ada
Edité par
Springer Berlin Heidelberg Dez 1980, 1980
ISBN 10 : 3540102833
ISBN 13 : 9783540102830
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 648 pp. Englisch. N° de réf. du vendeur 9783540102830
Acheter neuf
EUR 112,34
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Towards a Formal Description of Ada
Edité par
Springer Berlin Heidelberg, 1980
ISBN 10 : 3540102833
ISBN 13 : 9783540102830
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Inhaltsve. N° de réf. du vendeur 4880885
Acheter neuf
EUR 92,27
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards a Formal Description of Ada
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5908075-n
Acheter neuf
EUR 123,95
Expédition à EUR 17,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783540102830_new
Acheter neuf
EUR 131,43
Expédition à EUR 17,87
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards a Formal Description of Ada
Edité par
Springer, 1980
ISBN 10 : 3540102833
ISBN 13 : 9783540102830
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5908075
Acheter D'occasion
EUR 132,94
Expédition à EUR 17,94
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Towards a Formal Description of Ada
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540102830
Acheter neuf
EUR 124,85
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)