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

Mathematics of Program Construction

Mathematics of Program Construction

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540494454
Condition
New
Product Description

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.

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

Beginning J2ME

$44.99

Women, Migration and Asylum in Turkey

$139.99

The Puppy Place: Patches (#8)

$5.24

Structural Processing for Wireless Communications

$39.99

Erlernte Hilflosigkeit, Handlungskontrolle und Leistung

$59.99

Rolls-Royce

$169.99

Subsampling

$179.99

Mainstream Polygamy

$54.99

Applying Metascientific Principles to Autism Research

$49.99

Guantnamo and American Empire

$109.00

Nahrung und Ernhrung des Menschen

$59.99

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem

$54.99

Illuminating Policy for Health

$54.99

The Denotational Description of Programming Languages

$54.99

Passive and Active Structural Vibration Control in Civil Engineering

$54.99

Nexus Network Journal 10,1

$39.99

Peter Weiss Jahrbuch 7

$59.99

Boosting-Based Face Detection and Adaptation

$37.99

Modeling and Valuation of Energy Structures

$119.99

Ethik der Kindheit

$74.99

Foundations of Software Technology and Theoretical Computer Science

$39.99

Modernism on File

$39.99

Explorations in the anthropology of religion

$54.99

VLSI-SoC: Technologies for Systems Integration

$39.99

Foundations of F#

$39.99

Understanding Genres in Comics

$54.99

Keys to Drawing by Bert Dodson

$25.99

Theorie der Unternehmung

$39.99

Borrowed Earth, Borrowed Time

$54.99

The Politics of U.S. Foreign Policy and NATO

$129.99

Mussolinis Rome

$69.99

Interventional Magnetic Resonance Imaging

$299.99

Praxis der Montagetechnik

$49.99

Banking in the Arab Gulf

$59.99

Residue Reviews

$39.99

Student Modelling: The Key to Individualized Knowledge-Based Instruction

$219.99

Psychological and Transcendental Phenomenology and the Confrontation with Heidegger (19271931)

$159.99

Intelligent Manufacturing Planning

$169.99

Colonial Transformations

$54.99

Smart Cities in Application

$49.99