No International Symposium on Programming Read a customer review or write one .
"synopsis" may belong to another edition of this title.
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Broschiert. Condition: Gut. VI, 406 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. Sprache: Englisch Gewicht in Gramm: 670. Seller Inventory # 1453314
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
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-00321
Quantity: 1 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783540114949_new
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. Seller Inventory # 6666-IUK-9783540114949
Quantity: 10 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sall¿ypes.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm. 416 pp. Englisch. Seller Inventory # 9783540114949
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 416. Seller Inventory # 263069897
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 416 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 # 5859350
Quantity: 4 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 416. Seller Inventory # 183069891
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- A. Seller Inventory # 4881393
Quantity: Over 20 available
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sallé types.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch. Seller Inventory # 9783540114949