Mathematics of Program Construction
Eerke A. Boiten (Ed.)
€ 69.79
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
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 15 to 20 working days
Ref
99-15
Reviews for Mathematics of Program Construction