Towards a Formal Description of Ada - Couverture souple

Oest, O.N.; Bjorner, D

9783540102830: Towards a Formal Description of Ada

Couverture souple

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 12,21

7 Neuf

De EUR 117,13

D�tails de l'�dition

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540102833
ISBN 13: 9783540102830
Reliure: Broch�
Nombre de pages: 648
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Assez bon

Afficher cet article

EUR 12,21

Exp�dition �EUR 4,30
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 117,13

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Towards a Formal Description of Ada

Image d'archives

Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)

Oest, O.N.; Bjorner, D

Edit� par Springer, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

paperback. Etat : Very Good. N� de r�f. du vendeur mon0003071787

Contacter le vendeur

Acheter D'occasion

EUR 12,21

Exp�dition �EUR 4,30
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Towards a Formal Description of Ada: Lecture Notes in Computer Science #98

Bjorner, D.

Edit� par Springer-Verlag, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Ancien ou d'occasion Soft cover

Vendeur : Bingo Used Books, Vancouver, WA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Soft cover. Etat : Very Good. Trade paperback in very good condition. N� de r�f. du vendeur 78765

Contacter le vendeur

Acheter D'occasion

EUR 13,24

Exp�dition �EUR 6,02
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

Bjorner, D. and O.N. Oest [eds]

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 4 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

Contacter le vendeur

Acheter D'occasion

EUR 11,63

Exp�dition �EUR 30,15
Exp�dition depuis Canada vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)

Oest, O.N.; Bjorner, D

Edit� par Springer, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783540102830

Contacter le vendeur

Acheter neuf

EUR 117,13

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)

Oest, O.N.; Bjorner, D

Edit� par Springer, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540102830_new

Contacter le vendeur

Acheter neuf

EUR 112,34

Exp�dition �EUR 13,86
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

O. N. Oest

Edit� par Springer Berlin Heidelberg Dez 1980, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Taschenbuch

impression � la demande

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

Contacter le vendeur

Acheter neuf

EUR 112,34

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

Bjorner, Dines|Oest, O. N.

Edit� par Springer Berlin Heidelberg, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 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

Contacter le vendeur

Acheter neuf

EUR 92,27

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

D. Bjorner (u. a.)

Edit� par Springer, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 95,70

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

O. N. Oest

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1980, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch. N� de r�f. du vendeur 9783540102830

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Towards a Formal Description of Ada

D. Bjorner

Edit� par Springer, Springer, 1980

ISBN 10 : 3540102833 ISBN 13 : 9783540102830

Neuf Taschenbuch

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

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 64,83
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier