Programming Symposium Proceedings Colloque (13 results)
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 25.22
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good.
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Good
US$ 29.97
US$ 6.62 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. 1974th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 51.15
US$ 15.87 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 53.11
US$ 14.09 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.31
US$ 15.87 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.17
US$ 20.52 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
US$ 44.72
US$ 47.99 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. 1980. 341 p. ATTENTION 1980 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540099819 Sprache: Englisch Gewicht in Gramm: 567.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 44.06
US$ 72.32 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On a measure of program structure.- Higher order software techniques applied to a space shuttle prototype program.- A proposed system for structured programming.- S. V. P. Un system interactif pour la validation et la preparation de programmes.- Pr…oving program correctness in LCF.- Finite state testing of structured programs.- Structured recursive programming.- Top-down approach to the synthesis of programs.- A more mechanical approach to program verification.- Tree structures handling by aps.- Towards a high-level job control language.- Formal Definition of a simple on-line teleprocessor in VDL.- The suitability of a very high level language (setl) for simulation structuring and control.- A control statement for natural top-down structured programming.- On the transfer of control between contexts.- Equivalences dans l'algèbre des schémas de programme.- Inductive assertion patterns for recursive procedures.- Completude d'un systeme formel pour prouver l'equivalence de certains schemas recursifs monadiques.- Non-existence of program optimizers in an abstract setting.- Listing of information structures defined by fixed-point operators.- Application de la structuration de systeme a la conception interne du systeme GEMAU.- Un systeme de communications: logiciel ou materiel .- Structure du systeme SAR.- Une Transformation de programmes sequentiels en programmes paralleles.- A model for structured parallel processing in block-structured programming languages.- First version of a data flow procedure language.- Towards more flexible type systems.- Behavioral semantics of nonrecursive control structures.- Towards a theory of type structure.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 43.08
US$ 79.99 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Programming Symposium | Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 | B. Robinet | Taschenbuch | viii | Englisch | Springer | EAN 9783540068594 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]…com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
US$ 99.60
US$ 33.12 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Very Good. book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.95
US$ 71.64 shippingShips from Germany to U.S.A.Quantity: 1 available
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 abstrac…t 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.14
US$ 79.99 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. International Symposium on Programming | Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 | B. Robinet | Taschenbuch | x | Englisch | 1980 | Springer | EAN 9783540099819 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121…Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
US$ 114.61
US$ 33.12 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
