Stock image for illustration purposes only - book cover, edition or condition may vary.
Programming Languages and Systems
Gilles . Ed(S): Barthe
€ 67.31
FREE Delivery in Ireland
Description for Programming Languages and Systems
Paperback. Constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrucken, Germany, March 30 - April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Barthe, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 501 pages, 109 black & white illustrations, 14 colour illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 771.
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and ... Read more
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
501
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
501
Place of Publication
Berlin, Germany
ISBN
9783642197178
SKU
V9783642197178
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for Programming Languages and Systems