Nato ASI Subseries F:

Program Transformation and Programming Environments

Report on a Workshop, Munich, Germany, 12 to 16 September 1983

Editors: Pepper, Peter (Ed.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-46490-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-46492-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (32 chapters)

  • Introduction: What Industry Needs - What Research Offers

    Pepper, Peter

    Pages 3-4

  • Life Cycle Models and Programming Environments

    Pepper, Peter

    Pages 5-8

  • Management & Organization

    Pepper, Peter

    Pages 9-15

  • Formal Methods in Program Development

    Pepper, Peter

    Pages 17-21

  • Software Specification

    Pepper, Peter

    Pages 23-47

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-46490-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-46492-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Program Transformation and Programming Environments
Book Subtitle
Report on a Workshop, Munich, Germany, 12 to 16 September 1983
Editors
  • Peter Pepper
Series Title
Nato ASI Subseries F:
Series Volume
8
Copyright
1984
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-46490-4
DOI
10.1007/978-3-642-46490-4
Softcover ISBN
978-3-642-46492-8
Series ISSN
0258-1248
Edition Number
1
Number of Pages
XIV, 380
Topics