Programming and Mathematical Method: International Summer School
| PUBLISHER | Springer (12/21/2011) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are centered on logical and functional calculi for specification, refinement, and verification of programs and program systems.
Show More
Product Format
Product Details
ISBN-13:
9783642775741
ISBN-10:
3642775748
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
407
Carton Quantity:
9
Product Dimensions:
6.69 x 0.86 x 9.61 inches
Weight:
1.48 pound(s)
Country of Origin:
NL
Subject Information
BISAC Categories
Computers | Programming - General
Computers | Software Development & Engineering - General
Computers | Logic Design
Dewey Decimal:
005.101
Descriptions, Reviews, Etc.
publisher marketing
This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are centered on logical and functional calculi for specification, refinement, and verification of programs and program systems.
Show More
List Price $109.99
Your Price
$108.89