Target New ArrivalsFourth of JulyBack to SchoolCollegeClothing, Shoes & AccessoriesHome & DecorKitchen & DiningOutdoor Living & GardenGroceryHousehold EssentialsBabyBeautyPersonal CareSports & OutdoorsHealthWellnessSchool & Office SuppliesToys & GamesElectronicsVideo GamesMovies, Music & BooksParty SuppliesGift IdeasGift CardsPetsUlta Beauty at TargetShop by CommunityTarget OpticalDealsClearanceNew ArrivalsBack to SchoolCollegeTop DealsTarget Circle DealsWeekly AdShop Order PickupShop Same Day DeliveryRegistryRedCardTarget CircleFind Stores
Formal Program Development - by Bernhard Möller & Helmut Partsch & Steve Schuman (Paperback) - 1 of 1

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

$54.99

In Stock

Free & easy returns
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

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.
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 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.

Additional product information and recommendations

Discover more options

Best-selling Computers & Technology Books

Get top deals, latest trends, and more.

Privacy policy
Terms