search for books and compare prices
Mathematics of Program Construction: 5th International Conference, Mpc 200, Ponte De Lima, Portugal, July 200 : Proceedings
By
Roland C. Backhouse and
International Conference on the Physics of Selenium and Tellurium ( (other contributor))
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
June 1, 2000
Pages
255
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783540677277
ISBN-10
3540677275
Dimensions
0.75 by 6.25 by 9.25 in.
Weight
0.85 lbs.
Published in
Europe
Original list price
$99.00
Summaries and Reviews
(view table of contents)
Amazon.com description: Product Description: This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also presented are three invited contributions. The papers address issues of programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics from the mathematical and logical point of view.
Editions
Paperback
The price comparison is for this edition
from Springer-Verlag New York Inc (June 1, 2000)
9783540677277 | details & prices | 255 pages | 6.25 × 9.25 × 0.75 in. | 0.85 lbs | List price $99.00
About: This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.
About: This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.