Mathematics of Program Construction (Paperback)

Lingua: inglese

Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010

3642133207 / 9783642133206

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail

Venditore con 5 stelle

Venditore AbeBooks dal 12 ottobre 2005

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 69,47

 Spedizione gratuita 
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Codice articolo 9783642133206

Titolo
Mathematics of Program Construction (Paperback)
Autore
Claude Bolduc
Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Anno di pubblicazione
2010
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 10
3642133207
ISBN 13
9783642133206

Grand Eagle Retail

Bensenville, IL, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 12 ottobre 2005

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 6 a 14 giorni lavorativiDa 6 a 16 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE U.S.A. 19805