×


 x 

Shopping cart
75%OFFEerke A. Boiten (Ed.) - Mathematics of Program Construction - 9783540438571 - V9783540438571
Stock image for illustration purposes only - book cover, edition or condition may vary.

Mathematics of Program Construction

€ 50.84
€ 12.61
You save € 38.23!
FREE Delivery in Ireland
Description for Mathematics of Program Construction Paperback. Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics. Editor(s): Boiten, Eerke A.; Moller, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 266 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 231 x 158 x 16. Weight in Grams: 438.
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness,enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse,including programmingmethodology,programspeci?cationand transformation, programming paradigms, programming calculi, and progr- ming language semantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference.Eachpaperwasrefereedbyatleastfour,andoftenmore,committee members. Inadditiontothe11papersselectedforpresentationbytheprogramcomm- tee, this volume contains three invited talks: ... Read more

Product Details

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
276
Format
Paperback
Publication date
2002
Series
Lecture Notes in Computer Science
Condition
New
Number of Pages
263
Place of Publication
Berlin, Germany
ISBN
9783540438571
SKU
V9783540438571
Shipping Time
Usually ships in 10 to 12 working days
Ref
99-15

Reviews for Mathematics of Program Construction

Goodreads reviews for Mathematics of Program Construction


Subscribe to our newsletter

News on special offers, signed editions & more!