Program Transformation and Programming Environments

Download or Read eBook Program Transformation and Programming Environments PDF written by F.L. Bauer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 379 pages. Available in PDF, EPUB and Kindle.

Author	: F.L. Bauer
Publisher	: Springer Science & Business Media
Total Pages	: 379
Release	: 2012-12-06
ISBN-10	: 9783642464904
ISBN-13	: 3642464904
Rating	: 4/5 (04 Downloads)

DOWNLOAD EBOOK

Book Synopsis Program Transformation and Programming Environments by : F.L. Bauer

Book excerpt: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Program Transformation and Programming Environments Related Books

Language: en
Pages: 379

Program Transformation and Programming Environments

Authors: F.L. Bauer

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Language: en
Pages: 378

Program Transformation and Programming Environments

Authors: Nato Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich, Germany)

Categories: Computer programming

Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 520

Specification and Transformation of Programs

Authors: Helmut A. Partsch

Categories: Computers

Type: BOOK - Published: 1990-07-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,

Language: en
Pages: 508

Specification and Transformation of Programs

Authors: Helmut A. Partsch

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,

Language: en
Pages: 724

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Authors: Soren Prehn

Categories: Computers

Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252)