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

Pdagogische Professionalitt in Organisationen

$39.99

Beitrag zur Verschleibeurteilung beim Schneiden von Stahlfeinblechen

$59.99

Engaged Scholarship

$49.99

Bisa's Carnaval (Hardcover)

$14.24

Fixed-Point Algorithms for Inverse Problems in Science and Engineering

$129.00

Representation, Re-Presentation, and Resistance

$84.99

Diplomacy and Ideology in Japanese-Korean Relations: From the Fifteenth to the Eighteenth Century

$109.99

Drug Delivery to the Central Nervous System

$169.99

Contemporary Japanese Womens Theatre and Visual Arts

$99.00

ber Trocken- und Feuchtluftresistenz des Pollens

$59.99

Variational and Free Boundary Problems

$109.00

The Social Organization

$59.99

Partnerschaften von NGOs und Unternehmen

$49.99

Intercultural Communication

$25.00

Planning for Ecosystem Services in Cities

$54.99

SDGs in Construction Economics and Organization

$249.99

Bildverarbeitung fr die Medizin 2020

$54.99

Myanmars Foreign Exchange Market

$109.99

Aktivierung und soziale Netzwerke

$74.99

Decision Modelling and Information Systems

$129.00

Lehrbuch der Differentialdiagnose Innerer Krankheiten

$59.99

The Inclusive Society?

$84.99

Evolvable Machines

$109.99

DNA Barcodes

$179.99

Magnetic Control of Tokamak Plasmas

$139.99

Starry Henna Night: A Branches Book (The Party Diaries #2)

$4.49

ReView

$39.99

Hessen vorn? Regionalradio im Hessischen Rundfunk

$59.99

Entwicklung eines Verfahrens zur Bestimmung der Verkokungswrme kleiner Mengen Steinkohle

$59.99

Die Behandlung Peripherer Durchblutungsstrungen mit der Sauerstoffinsufflation

$59.99

Floods in a Megacity

$84.99

Bioinoculants: Biological Option for Mitigating global Climate Change

$219.99

High Speed A/D Converters

$84.99

Perceptual Organization for Artificial Vision Systems

$109.99

Vitreoretinal Surgery

$54.99

Konstitutionspathologie in der Orthopdie

$59.99

Die Nordischen Wasserkrfte

$84.99

The Never Girls Collection 1 Disney- The Never Girls - Books 1-4 by Kiki Thorpe

$23.96

Herbal Insecticides, Repellents and Biomedicines: Effectiveness and Commercialization

$109.99

Stereoscopic acuity in ocular pursuit of moving objects

$109.99