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

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£45 today · usual range £0–£0 · best ever £41

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 637 days • 637 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 637 days • 7 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (313 days, 49.1%)

Price range: £41 - £49

Price levels: 7 different prices over 637 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 > Computer Science > Architecture & Microprocessors
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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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)

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

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

Programming Language Explorations

Programming Language Explorations

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

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

Programming Language Pragmatics

Theories of Programming Languages

Theories of Programming Languages

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

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

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... (Lecture Notes in Computer Science, 3308)

Principles of Program Analysis

Introduction to Programming Languages

Essentials of Programming Languages 3e (OIP) (The MIT Press)