[PDF] e-Book Program Development By Specification And Transformation Full Read

Related Books

Language: en
Pages: 650

Program Development by Specification and Transformation

Authors: Bernd Krieg-Brückner

Categories: Computers

Type: BOOK - Published: 1993-08-30 - Publisher: Springer Science & Business Media

This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provid

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

GET 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

GET 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: 292

Methods of Programming

Authors: Manfred Broy

Categories: Computers

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

GET EBOOK

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the a

Language: en
Pages: 392

ESOP '88

Authors: Harald Ganzinger

Categories: Computers

Type: BOOK - Published: 1988-03-09 - Publisher: Springer Science & Business Media

GET EBOOK

The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specificati