Articles liés à International Symposium on Programming: Proceedings...

International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 - Couverture souple

 
9783540099819: International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Acheter D'occasion

état :  Satisfaisant
Your purchase helps support Sri...
Afficher cet article
EUR 39,41

Autre devise

EUR 4,54 expédition depuis Royaume-Uni 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

9780387099811: International Symposium on Programming: Proceedings of the Fourth Colloque International Sur LA Programmation, Paris, 22-24 April 1980

Edition présentée

ISBN 10 :  0387099816 ISBN 13 :  9780387099811
Editeur : Springer-Verlag
Couverture souple

Résultats de recherche pour International Symposium on Programming: Proceedings...

Image d'archives

Robinet, B.
Edité par Springer, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
Ancien ou d'occasion Couverture souple

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni

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

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-C-020-00338

Contacter le vendeur

Acheter D'occasion

EUR 39,41
Autre devise
Frais de port : EUR 4,54
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Robinet, B.:
Edité par Springer, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
Ancien ou d'occasion Softcover

Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne

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

Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567. N° de réf. du vendeur 224186

Contacter le vendeur

Acheter D'occasion

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Robinet, B.
Edité par Springer Berlin Heidelberg, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
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. Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data ty. N° de réf. du vendeur 4880719

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

B. Robinet
Edité par Springer Berlin Heidelberg, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
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 - Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable. N° de réf. du vendeur 9783540099819

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

Robinet, B.
Edité par Springer, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
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 ria9783540099819_new

Contacter le vendeur

Acheter neuf

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Robinet, B.
Edité par Springer 1980-04, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

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

Contacter le vendeur

Acheter neuf

EUR 56,83
Autre devise
Frais de port : EUR 10,96
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B. Robinet
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
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 -Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch. N° de réf. du vendeur 9783540099819

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

Robinet, B.
Edité par Springer, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 356. N° de réf. du vendeur 263093428

Contacter le vendeur

Acheter neuf

EUR 77,30
Autre devise
Frais de port : EUR 7,73
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B. Robinet
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
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 -Static type checking for languages with parametric types and polymorphic procedures.- Concrete control phases in languages for programming complex systems.- Types algebriques et semantique des langages de programmation.- Towards a theory of abstract data types: A discussion on problems and tools.- On relations between programs.- A communication data type for message oriented programming.- Processus non-sequentiels et leurs observations en univers non-centralise.- A case study of abstract implementations and their correctness.- About program termination and simplification.- A relational model for non-deterministic programs and predicate transformers.- Structures de controle et puissances d'expression.- Conception et optimisation des descentes recursives.- An algebraic structure of petri nets.- An algorithm for translating LISP programs into reduction language programs.- Concurrent operations in large ordered indexes.- Specification of highly parallel and distributed resource management.- Semantics for lisp without reference to an interpreter.- Parallelism in ADA: Program design and meaning.- The theory and practice of transforming call-by-need into call-by-value.- A model-theoretic approach to specification, extension, and implementation.- ¿happements et continuations en semantique d¿tationnelle.- Suggestions for composing and specifying program design decisions.- Making programs more readable. 356 pp. Englisch. N° de réf. du vendeur 9783540099819

Contacter le vendeur

Acheter neuf

EUR 74,89
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

Robinet, B.
Edité par Springer, 1980
ISBN 10 : 3540099816 ISBN 13 : 9783540099819
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. Print on Demand pp. 356 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5803115

Contacter le vendeur

Acheter neuf

EUR 79,40
Autre devise
Frais de port : EUR 10,22
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre