Specification and Transformation of Programs

Name: Specification and Transformation of Programs
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540523567
Price: 270.74 RON
Availability: InStock

A Formal Approach to Software Development

Autor: Helmut A. Partsch

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

270.74 lei

Specification and Transformation of Programs is short for a methodology of software development wher...

Informații despre carte

Autor

Helmut A. Partsch

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1990

Pagini

493

EAN

9783540523567

ISBN

3540523561

Enbook ID

01565285

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

2630

Dimensiuni

178 x 254 x 32

Descriere completă

Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Specification and Transformation of Programs

A Formal Approach to Software Development

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și