Stock image for illustration purposes only - book cover, edition or condition may vary.
Mathematics of Program Construction
. Ed(S): Bolduc, Claude; Desharnais, Jules; Ktari, Bechir
€ 66.84
FREE Delivery in Ireland
Description for Mathematics of Program Construction
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. Editor(s): Bolduc, Claude; Desharnais, Jules; Ktari, Bechir. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 427 pages, 57 black & white illustrations, biography. BIC Classification: MJCM; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 23. Weight in Grams: 635.
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21-23 in Lac-Beauport, a suburb of Qu' ebec City, Canada, prior to AMAST 2010 (June 23-26). The previous nine conferences were ... Read more
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program speci?cation and transformation, program analysis, programming paradigms, programming c- culi, programming language semantics, security, and program logics. The conference took place during June 21-23 in Lac-Beauport, a suburb of Qu' ebec City, Canada, prior to AMAST 2010 (June 23-26). The previous nine conferences were ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
427
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
427
Place of Publication
Berlin, Germany
ISBN
9783642133206
SKU
V9783642133206
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Mathematics of Program Construction