Specification and Transformation of Programs

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

A Formal Approach to Software Development

Autor: Helmut A. Partsch

Jazyk:

Vazba: Pevná

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

Dostupnost: Skladem u dodavatele

Odesíláme za 10-13 dnů

1 120 Kč

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

Informace o knize

Autor

Helmut A. Partsch

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1990

Stránek

493

EAN

9783540523567

ISBN

3540523561

Enbook ID

01565285

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

2630

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Specification and Transformation of Programs

A Formal Approach to Software Development

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také