Program transformation programming environments (13 resultados)
- Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de AmericaZubal-Books, Since 1961
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 97,67
Envío por EUR 3,90Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. 378 pp., Hardcover, ex library else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,63
Envío por EUR 14,00Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 146,84
Envío por EUR 3,46Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 396.
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))
Pepper, Peter (Editor) / Bauer, F.L. (Co-editor) / Remus, H. (Co-editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 156,45
Envío por EUR 14,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. pap/psc re edition. 396 pages. 9.60x6.70x1.00 inches. In Stock.
- Más imágenes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 114,36
Envío por EUR 63,41Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments.
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 86,24
Envío por EUR 8,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,46
Envío por EUR 6,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 123,65
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 S…pecification.- 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.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 92,27
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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 Model…s and Programming Environments.- 1.1.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 150,44
Envío por EUR 7,60Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 153,52
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 396.
- Más imágenes
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 106,99
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 Speci…fication.- 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.
