Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Design of Well-Structured and Correct Programs

The Design of Well-Structured and Correct Programs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461262725
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

National Myth and Imperial Fantasy

$54.99

The Palgrave Handbook of Utopian and Dystopian Literatures

$219.99

Pricing Policies of Financial Intermediaries

$109.99

Chimeric RNA

$169.99

Technologiepotentiale

$49.99

Human Settlements: The Environmental Challenge

$19.99

Endosperm

$129.00

The State of Loyalism in Northern Ireland

$54.99

Translation and Technology

$109.99

IgG4-Related Kidney Disease

$199.99

Die Sonderstellung des Kopfgelenkbereichs

$84.99

Fire Flow Water Consumption in Sprinklered and Unsprinklered Buildings

$54.99

Zeitgenssische Demokratietheorie

$37.99

Knowledge-Based Intelligent Information and Engineering Systems

$109.99

Mathematik-Vorkurs

$49.99

In the Shadow of The Birth of a Nation

$139.99

Messen und Verstehen in der Wissenschaft

$79.99

Abelian Varieties

$54.99

Disability & International Development

$169.99

Die Krankheiten der oberen Luftwege

$49.99

The Iran Nuclear Deal

$99.00

Aufwandschtzung von DV-Projekten

$64.99

Smart Meter Data Analytics

$159.99

Handbook of Nanomaterials Properties

$799.99

Probleme der Modernisierung in Deutschland

$59.99

Towards a Unified Italy

$89.99

Introduction to Avionics

$39.99

Excel 2016 for Marketing Statistics

$69.99

Cutaneous Lymphomas

$84.99

Interpreting Clifford Geertz

$54.99

System-Materials Nanoarchitectonics

$129.99

Nuclear Medicine in Tropical and Infectious Diseases

$109.99

Augmented Reality, Virtual Reality, and Computer Graphics

$54.99

Gold Paved the Way

$99.00

Mitarbeiterzeitschriften und das interne Web 2.0

$64.99

PowerShell and Python Together

$34.99

Quantum Optics and the Spectroscopy of Solids

$109.99

Investing Unplugged

$79.99

Aspects of Physical Biology

$39.99

Genetic Programming Theory and Practice V

$109.99