Items related to International Symposium on Programming: Proceedings...
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980: 83 (Lecture Notes in Computer Science, 83) - Softcover
Synopsis
International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980 International Symposium on Programming: Proceedings of the Fourth "Colloque International Sur La Programmation" Paris, 22-24 April 1980
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for International Symposium on Programming: Proceedings...
Stock Image
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # Z1-C-020-00338
Quantity: 1 available
Seller Image
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science (83), Band 83)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567. Seller Inventory # 224186
Quantity: 1 available
Stock Image
International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540099819
Quantity: 10 available
Stock Image
International Symposium on Programming: Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 (Lecture Notes in Computer Science, 83)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540099819_new
Quantity: Over 20 available
Seller Image
International Symposium on Programming : Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
Published by
Springer Berlin Heidelberg, 1980
ISBN 10: 3540099816
ISBN 13: 9783540099819
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540099819
Quantity: 1 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg, 1980
ISBN 10: 3540099816
ISBN 13: 9783540099819
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4880719
Quantity: Over 20 available
Stock Image
International Symposium on Programming
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 5803115
Quantity: 4 available
Stock Image
International Symposium on Programming
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 356. Seller Inventory # 263093428
Quantity: 4 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg Apr 1980, 1980
ISBN 10: 3540099816
ISBN 13: 9783540099819
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540099819
Quantity: 2 available
Seller Image
International Symposium on Programming
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1980, 1980
ISBN 10: 3540099816
ISBN 13: 9783540099819
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540099819
Quantity: 1 available