Shop all Springer

Formal Program Development - by Bernhard Möller & Helmut Partsch & Steve Schuman (Paperback)

Name: Formal Program Development - by Bernhard Möller & Helmut Partsch & Steve Schuman (Paperback)
Brand: Springer
SKU: 1011231848
Price: 54.99 USD
Availability: InStock

undefined out of 5 stars with 0 reviews

$54.99

In Stock

Free & easy returns

Return this item by mail or in store within 90 days for a full refund.

Eligible for registries and wish lists

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil.
Author(s): Bernhard Möller & Helmut Partsch & Steve Schuman
375 Pages
Computers + Internet, Programming

Description

Book Synopsis

This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.

Specifications

Dimensions (Overall): 9.21 Inches (H) x 6.14 Inches (W) x .81 Inches (D)

Weight: 1.21 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 375

Genre: Computers + Internet

Sub-Genre: Programming

Publisher: Springer

Theme: General

Format: Paperback

Author: Bernhard Möller & Helmut Partsch & Steve Schuman

Language: English

Street Date: November 29, 1993

TCIN: 1011231848

UPC: 9783540574996

Item Number (DPCI): 247-06-9557

Origin: Made in the USA or Imported

If the item details aren’t accurate or complete, we want to know about it.

Shipping & Returns

Shipping details

Estimated ship dimensions: 0.81 inches length x 6.14 inches width x 9.21 inches height

Estimated ship weight: 1.21 pounds

We regret that this item cannot be shipped to PO Boxes.

This item cannot be shipped to the following locations: American Samoa (see also separate entry under AS), Guam (see also separate entry under GU), Northern Mariana Islands, Puerto Rico (see also separate entry under PR), United States Minor Outlying Islands, Virgin Islands, U.S., APO/FPO, Alaska, Hawaii

Return details

This item can be returned to any Target store or Target.com.

This item must be returned within 90 days of the date it was purchased in store, delivered to the guest, delivered by a Shipt shopper, or picked up by the guest.

See the return policy for complete information.