Shop all Springer

Mathematics of Program Construction - (Lecture Notes in Computer Science) by Johan Jeuring (Paperback)

Name: Mathematics of Program Construction - (Lecture Notes in Computer Science) by Johan Jeuring (Paperback)
Brand: Springer
SKU: 1011230812
Price: 54.99 USD
Availability: InStock

0 out of 5 stars with 0 reviews

5 Questions

$54.99See 1 deal for this item

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

Available deals

Buy 2 get a free select music and books

In-store or Online ∙ Show items and details

Save 5% every day

With Target Circle™ Card

About this item

Details

Highlights

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998.
Author(s): Johan Jeuring
388 Pages
Computers + Internet, Software Development & Engineering
Series Name: Lecture Notes in Computer Science

Description

Book Synopsis

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.

Specifications

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

Weight: 1.23 Pounds

Suggested Age: 22 Years and Up

Number of Pages: 388

Genre: Computers + Internet

Sub-Genre: Software Development & Engineering

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Theme: Systems Analysis & Design

Format: Paperback

Author: Johan Jeuring

Language: English

Street Date: May 27, 1998

TCIN: 1011230812

UPC: 9783540645917

Item Number (DPCI): 247-04-2753

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.82 inches length x 6.14 inches width x 9.21 inches height

Estimated ship weight: 1.23 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.

Q&A (5)

Q: When and where was the conference held?

AI Shopping Assistant - 1 month ago

A: The conference took place in June 1998 in Marstrand, near Goteborg, Sweden.
submitted byAI Shopping Assistant - 1 month ago
Ai generated

Q: How many papers are included in this volume?

AI Shopping Assistant - 1 month ago

A: The volume includes 17 revised full papers selected from 57 submissions.
submitted byAI Shopping Assistant - 1 month ago
Ai generated

Q: What is the main focus of this book?

AI Shopping Assistant - 1 month ago

A: The book focuses on the use of mathematics in algorithm discovery, software, and hardware development.
submitted byAI Shopping Assistant - 1 month ago
Ai generated