Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983 (NATO ASI Subseries F:, 8) - Softcover
Synopsis
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Program Transformation and Programming Environments:...
Stock Image
Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983 (NATO ASI Subseries F:, 8)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020228929
Stock Image
Program Transformation and Programming Environments
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-9783642464928
Buy New
£ 97.70
£ 5.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983 (NATO ASI Subseries F:, 8)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642464928_new
Buy New
£ 94.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Program Transformation and Programming Environments
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-9783642464928
Seller Image
Program Transformation and Programming Environments
Published by
Springer, Springer Feb 2012, 2012
ISBN 10: 3642464920
ISBN 13: 9783642464928
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 -I: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 2. Management & Organization.- 3. Formal Methods In Program Development.- 4. Software Specification.- 5. Program Development by Transformations.- 6. Acceptance of Formal Methods.- 7. Outlook.- 8. Conclusion.- II: Position Statements and Papers.- Coherent Development Methods in an Industrial High-Level Language Environment.- A Systematics of Software Engineering: Structure, Terminology, and Classification of Techniques.- Assessment of Software Quality.- Measuring Software Technology (together with D. N. Card, V. E. Church, G. Page, F. E. McGarry).- Organizational Means to Increase Software Quality.- The Role of Configuration Management.- Understanding and Expressing Software Construction.- Structure-Oriented Programing.- Algebraic Methods for Program Construction: The Project CIP.- Specification and Transformation: Automated Implementation.- Algebraic Techniques for Program Specification.- Verification of Processes Using Program Transformation.- Exception Handling: Formal Specification and Systematic Program Construction (together with M. Bidoit, B. Biebow, C. Gresse, G. Guiho).- Programming with Continuations (together with Ch. T. Haynes, E. Kohlbecker).- Inferential Techniques for Program Development.- Lisp to Fortran - Program Transformation Applied.- Language Comparison by Source-to-Source Translation.- The CIP Transformation System.- Transformation-Based Software Development.- Supercompilers.- Software Development and Inferential Programming.- Program Transformation in the ALICE Project.- From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programing (together with R. D. Duffey II).- List of Participants Glossary. 396 pp. Englisch. Seller Inventory # 9783642464928
Stock Image
Program Transformation and Programming Environments
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 2658570128
Stock Image
Program Transformation and Programming Environments
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 396 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 50989647
Buy New
£ 114.56
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Program Transformation and Programming Environments
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642464920
ISBN 13: 9783642464928
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming EnvironmentsI: Digest of the Discussions.- 0. Introduction: What Industry Needs - What Research Offers.- 1. Life Cycle Models and Programming Environments.- 1.1. Seller Inventory # 5061861
Buy New
£ 82.85
£ 42.70 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Program Transformation and Programming Environments
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 396. Seller Inventory # 1858570138
Stock Image
Program Transformation and Programming Environments: Report on a Workshop, Munich, Germany, 12 to 16 September 1983 (Nato Asi Series (Closed) / Nato Asi Subseries F: (Closed))
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. pap/psc re edition. 396 pages. 9.60x6.70x1.00 inches. In Stock. Seller Inventory # x-3642464920
Buy New
£ 127.98
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available