Articles liés à Programming Languages and Systems - ESOP '94: 5th...

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings - Couverture souple

 
9783540578802: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Synopsis

This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2008
  • ISBN 10 3540578803
  • ISBN 13 9783540578802
  • ReliureBroché
  • Langueanglais
  • Nombre de pages532
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
Ex-library paperback in very nice...
Afficher cet article
EUR 42,58

Autre devise

EUR 56,01 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 48,37

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780387578804: Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings

Edition présentée

ISBN 10 :  0387578803 ISBN 13 :  9780387578804
Editeur : Springer Verlag, 1994
Couverture souple

Résultats de recherche pour Programming Languages and Systems - ESOP '94: 5th...

Image fournie par le vendeur

Sanella, Donald
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP 94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP 94) in Edinburgh in April 1994. ESOP is devoted t. N° de réf. du vendeur 4894488

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Donald Sannella
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools. N° de réf. du vendeur 9783540578802

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Sannella, Donald
Edité par Springer, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540578802_new

Contacter le vendeur

Acheter neuf

EUR 61,46
Autre devise
Frais de port : EUR 4,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Donald Sannella
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch. N° de réf. du vendeur 9783540578802

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Sannella, Donald [Editor]
Edité par Springer, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur DA1412419

Contacter le vendeur

Acheter D'occasion

EUR 42,58
Autre devise
Frais de port : EUR 56,01
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Donald Sannella
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools. 532 pp. Englisch. N° de réf. du vendeur 9783540578802

Contacter le vendeur

Acheter neuf

EUR 96,29
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Sannella, Donald
Edité par Springer 1994-03, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540578802

Contacter le vendeur

Acheter neuf

EUR 99,91
Autre devise
Frais de port : EUR 11,14
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Sannella, Donald
Edité par Springer, 1994
ISBN 10 : 3540578803 ISBN 13 : 9783540578802
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020171261

Contacter le vendeur

Acheter neuf

EUR 53,25
Autre devise
Frais de port : EUR 64,63
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier