Specification and Transformation of Programs

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

A Formal Approach to Software Development

Autor: Helmut A. Partsch

Jazyk:

Väzba: Pevná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

49.06 €

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

Informácie o knihe

Autor

Helmut A. Partsch

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1990

Stránok

493

EAN

9783540523567

ISBN

3540523561

Enbook ID

01565285

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

2630

Rozmery

178 x 254 x 32

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Specification and Transformation of Programs

A Formal Approach to Software Development

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež