£108.72

Springer Program Development by Refinement - B Method Book

Name: Springer Program Development by Refinement - B Method Book
Brand: Springer
Price: 108.72 GBP
Availability: InStock

Amazon

This is the most expensive it has ever been. Walk away.

£109 today · previous high £109 · all-time low £105

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

Historical

Generating forecast...

Price Distribution

Price distribution over 45 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £109 (20 days, 44.4%)

Price range: £105 - £109

Price levels: 3 different prices over 45 days

Description

Managing the complexity of modern software is a significant challenge for developers and engineering teams. As programs grow, they often exceed the comprehension of those who design them, leading to potential errors and maintenance difficulties. This book by Springer offers a structured solution through the concept of program refinement. By separating the concise specification of a program (the "what") from the actual implementation (the "how"), developers can bridge the gap between requirements and efficient code. This text explores how to handle complex systems by using formal approaches to computing and information technology. Through the use of the B Method, readers can learn to navigate the transition from initial specifications to fully realized, functional implementations. This volume is part of the Formal Approaches to Computing and Information Technology (FACIT) series, making it a valuable resource for those studying formal methods and software engineering principles. It provides a clear framework for reducing the risks associated with software complexity by focusing on methodical development processes.

Key Features

Explores the concept of program refinement to manage software complexity effectively.

Provides a method to separate program specifications from technical implementation details.

Utilizes the B Method to bridge the gap between requirements and efficient code.

Part of the Formal Approaches to Computing and Information Technology (FACIT) series.

Offers case studies to demonstrate practical applications of formal computing approaches.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1852330538
Category: Books > Subjects > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
Domain: Amazon UK
Publication Date: 23 October 1998
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Program Development by Refinement - B Method Book

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Feature-Oriented Software Product Lines: Concepts and Implementation

Programmiersprachen und Programmentwicklung: 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.–12. März 1980: 25 (Informatik-Fachberichte, 25)

Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Foundations of Software Engineering

Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))

Software Engineering Practice: A Case Study Approach (Chapman & Hall/CRC Innovations in Software Engineering and S)

Quality Software Through Reuse and Integration: 561 (Advances in Intelligent Systems and Computing, 561)

Integrating Research and Practice in Software Engineering: 851 (Studies in Computational Intelligence, 851)

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

Stable Design Patterns for Software and Systems

Information System Development Process: Proceedings of the IFIP WG8.1 Working Conference, Como, Italy, 1-3 September 1993: v. A-30 (IFIP Transactions A: Computer Science and Technology)

Non-Functional Requirements in Software Engineering: 5 (International Series in Software Engineering, 5)

Non-Functional Requirements in Software Engineering: 5 (International Series in Software Engineering, 5)

Trends and Applications in Software Engineering: Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019): 1071 ... in Intelligent Systems and Computing, 1071)

Software Engineering, Computers, and Foundation Maths Bundle

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

What Every Engineer Should Know about Software Engineering

Advancing Software Engineering Through AI, Federated Learning, and Large Language Models

Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018: 925 (Advances in Intelligent Systems and Computing, 925)

New Perspectives in Software Engineering: Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020): 1297 (Advances in Intelligent Systems and Computing, 1297)

Handbook on Agent-Oriented Design Processes

Springer Conquering Complexity - Software Engineering Book

Springer - Conquering Complexity Software Engineering Book

Academic Press Advances in Computers: Software Development Vol 74