The Design of Well-Structured and Correct Programs (Monographs in Computer Science) - Image 1

£44.99

Springer The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

Name: The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
Brand: Springer
Price: 44.99 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 87 days • 87 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 87 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £45 - £45

Price levels: 1 different prices over 87 days

Description

The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. We provide and apply proof rules for a wide range of program structures, including conditionals, loops, procedures and recur sion. We analyze situations in which the restricted use of gotos can be justified, providing a new approach to proof rules for such situations. We study several important techniques of data structuring, including arrays, files, records and linked structures. The secondary goal of this book is to teach the reader how to use the programming language Pascal. This is the first text to teach Pascal pro gramming in a fashion which not only includes advanced algorithms which operate on advanced data structures, but also provides the full axiomatic definition of Pascal due to Wirth and Hoare. Our approach to the language is very different from that of a conventional programming text.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1461262747
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 23 October 2011
Listed Since: 27 September 2012

Barcode

No barcode data available

Springer The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

PASCAL User Manual and Report: 18 (Lecture Notes in Computer Science, 18)

TURBO-PASCAL in Beispielen: mit mehr als 100 Programmen

PASCAL-XSC: Sprachbeschreibung mit Beispielen (German Edition)

Scientific Programmer's Toolkit: Turbo Pascal Edition

DFÜ, Datenfernübertragung im Apple-Pascal-System: 14 (Anwendung von Mikrocomputern, 14)

Informationstechnische Grundbildung Turbo Pascal: Mit Referenzliste zur strukturierten Programmierung (Viewegs Fachbücher der Technik)

C++ for Pascal Programmers

Pascal at Work and Play: An Introduction to Computer Programming in Pascal

Turbo Pascal 7.0

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

PasRo: Pascal and C for Robots

Problem Solving and Program Design in C: United States Edition

The World of Programming Languages (Springer Books on Professional Computing)

The Thoughts of Blaise Pascal

A Programming Approach to Computability (Monographs in Computer Science)

Die PASCAL-Fibel: Strukturierte Programmierung Mit Pascal. Lehr- Und Arbeitsbuch Für Anfänger (Für Alle Gängigen Pascal-Systeme)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Thinking About Programs (ACM Books)

Programming for Engineers: A Foundational Approach to Learning C and Matlab

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

Introduction to Programming with C++: International Edition

Essential Computer Science: A Programmer’s Guide to Foundational Concepts

Problem Solving and Program Concepts: United States Edition

Springer - A Science of Operations: History of Computing Book