The Correctness-by-Construction Approach to Programming - Image 1

£76.38

Springer The Correctness-by-Construction Approach to Programming

Name: The Correctness-by-Construction Approach to Programming
Brand: Springer
Price: 76.38 GBP
Availability: InStock

Architecture & Microprocessors

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

£76 today · previous high £76 · all-time low £75

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

Historical

Generating forecast...

Price Distribution

Price distribution over 37 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £75 (21 days, 56.8%)

Price range: £75 - £76

Price levels: 2 different prices over 37 days

Description

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems. The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE’s Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer’s arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to “refound software engineering based on a solid theory.”

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642448542
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 09 May 2014
Listed Since: 08 May 2014

Barcode

No barcode data available

Springer The Correctness-by-Construction Approach to Programming

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Constructing Correct Software (Formal Approaches to Computing and Information Technology,)

A Programmer's Companion to Algorithm Analysis

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Thinking About Programs (ACM Books)

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Guide to Competitive Programming: Learning and Improving Algorithms Through Contests (Undergraduate Topics in Computer Science)

Systematic Program Design: From Clarity to Efficiency

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

GCSE Computer Science OCR Revision Guide includes Online Edition, Videos & Quizzes: perfect for the 2026 and 2027 exams (CGP OCR GCSE Computer Science)

Python Algorithms: Mastering Basic Algorithms in the Python Language (Expert's Voice in Open Source)

Art of Computer Programming, The, Volumes 1-4B, Boxed Set: Fundamental Algorithms / Seminumerical Algorithms / Sorting and Searching / Combinatorial ... Part 1 / Combinatorial Algorithms, Part 2

Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Algorithms

Formal Methods: State of the Art and New Directions

Grundlagen der Informatik: für das Nebenfachstudium

Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Springer - A Science of Operations: History of Computing Book

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... and Communication Technology, 323)

Formal Methods in Computer Science (Textbooks in Mathematics)

MIT Press Problem Solving with Python - Computational Thinking

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)