Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science) - Image 1

£44.56

Springer Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Name: Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)
Brand: Springer
Price: 44.56 GBP
Availability: InStock

44 black & white illustrations

Database Management Systems

It has never been this cheap. We have no record of a lower price.

£45 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 74 days · 74 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 74 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (74 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 74 days

Description

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

Product Specifications

Brand: Springer
Model: 44 black & white illustrations
Format: hardcover
ASIN: 3540523561
Category: Books > Subjects > Computing & Internet > Databases > Data Storage & Management > Database Management Systems
Domain: Amazon UK
Release Date: 05 July 1990
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings: 5063 (Lecture Notes in Computer Science, 5063)

Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Specifying Software: A Hands-On Introduction

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Formal Methods, Informally: How to Write Programs That Work

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, ... (Lecture Notes in Computer Science, 5088)

Springer Programming Language Design and Implementation Book

Programming Language Explorations

Programming Language Explorations

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Thinking About Programs (ACM Books)

Understanding Programming Languages

Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)

Graph and Model Transformation: General Framework and Applications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Formal Methods and Models for System Design Book

Theory and Application of Graph Transformations: 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers: 1764 (Lecture Notes in Computer Science, 1764)