Items related to Logic Based Program Synthesis and Transformation: 13th...
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers - Softcover
Synopsis
Invited Talk.- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.- Specification and Synthesis.- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.- Correct OO Systems in Computational Logic.- Specification and Synthesis of Hybrid Automata for Physics-Based Animation.- Adding Concrete Syntax to a Prolog-Based Program Synthesis System.- Verification.- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.- Formal Reasoning about Efficient Data Structures: A Case...
- PublisherSpringer
- Publication date2014
- ISBN 10 3662175088
- ISBN 13 9783662175088
- BindingPaperback
- LanguageEnglish
- Number of pages248
- EditorBruynooghe Maurice
Search results for Logic Based Program Synthesis and Transformation: 13th...
Stock Image
Logic Based Program Synthesis and Transformation
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783662175088
Quantity: Over 20 available
Stock Image
Logic Based Program Synthesis and Transformation
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783662175088
Quantity: Over 20 available
Stock Image
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783662175088_new
Quantity: Over 20 available