Program Transformation and Programming Environments

Program Transformation and Programming Environments
Author :
Publisher : Springer Science & Business Media
Total Pages : 379
Release :
ISBN-10 : 9783642464904
ISBN-13 : 3642464904
Rating : 4/5 (04 Downloads)

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

Download or read book Program Transformation and Programming Environments 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. Book excerpt: Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments


Program Transformation and Programming Environments Related Books

Program Transformation and Programming Environments
Language: en
Pages: 379
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
Program Transformation and Programming Environments
Language: en
Pages: 378
Authors: Nato Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich, Germany)
Categories: Computer programming
Type: BOOK - Published: 1984 - Publisher:

DOWNLOAD EBOOK

Readings in Artificial Intelligence and Software Engineering
Language: en
Pages: 625
Authors: Charles Rich
Categories: Computers
Type: BOOK - Published: 2014-06-28 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The
Algebraic System Specification and Development
Language: en
Pages: 116
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 1991-06-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europ
Specification and Transformation of Programs
Language: en
Pages: 520
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,