Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Language: English

Published by Springer, Berlin, Springer, 2010

3642133207 / 9783642133206

  • Softcover
  • New
See all details

Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

5-star seller

AbeBooks seller since August 14, 2006

Softcover

Condition: New

US$ 99.63

US$ 39.25 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

Neuware - 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 held in 1989 in Twente, The Netherlands (LNCS 375); in 1992 in Oxford, UK (LNCS 669); in 1995 in Kloster Irsee, Germany (LNCS 947); in 1998 in Marstrand near Got eborg, Sweden (LNCS 1422); in 2000 in Ponte de Lima, Portugal (LNCS 1837); in 2002 in Dagstuhl, Germany (LNCS 2386); in 2004,inStirling,UK(LNCS3125);in2006inKuressaare,Estonia(LNCS4014); and in 2008 in Marseille-Luminy, France (LNCS 5133). The volume contains one invited paper, the abstracts of two invited talks, and 19 papersselected for presentationby the ProgramCommittee from 37 s- missions. Eachpaper wasrefereed by at least three reviewers,and on averageby four. We are grateful to the members of the Program Committee and the ext- nal referees for their care and diligence in reviewing the submitted papers. The review process and compilation of the proceedings were greatly helped by - drei Voronkov s EasyChair system that we highly recommend to every Program Chair.…

Seller Inventory # 9783642133206

Title
Mathematics of Program Construction : 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Author
Claude Bolduc
Publisher
Springer, Berlin, Springer
Publication year
2010
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3642133207
ISBN 13
9783642133206
Item weight
678 grams
Dimensions
241x164x25 mm

AHA-BUCH GmbH

Einbeck, Germany

5-star seller

AbeBooks seller since August 14, 2006

Shipping rates from Germany to U.S.A.

Item7 to 10 business days5 to 7 business days
First itemUS$ 39.25US$ 50.46
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Specialty

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Seller's business information

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Germany 37574