Specification and Transformation of Programs

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

A Formal Approach to Software Development

Szerző: Helmut A. Partsch

Nyelv:

Kötés: Kemény kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

18 963 Ft

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

Információk a könyvről

Szerző

Helmut A. Partsch

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1990

oldal

493

EAN

9783540523567

ISBN

3540523561

Enbook ID

01565285

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

2630

Méretek

178 x 254 x 32

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Specification and Transformation of Programs

A Formal Approach to Software Development

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták