Copied Programming Languages and Systems
Programming Languages and Systems
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Principles of Data Mining and Knowledge Discovery
$39.99
Europe as an Idea and an Identity
$179.99
Statistical Physics for Electrical Engineering
$84.99
Reconciliation in Conflict-Affected Communities
$139.99
The Computer - My Life
$89.99
Organisation im Gesundheitsbetrieb
$39.99
Mehrschicht-CT
$84.99
Identity, Interests and Attitudes to European Integration
$79.99
Security Politics in the Commonwealth of Independent States
$39.99
Germline Development
$109.99
Hagers Handbuch der pharmazeutischen Praxis
$69.99
Giants of Eclipse: The Aurigae Stars and Other Binary Systems
$109.99
Methods of Digital Holography
$54.99
S3-Leitlinie Zwangsstrungen
$44.99
Physical Oceanography of the Baltic Sea
$249.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$79.99
Muonic Atoms and Molecules
$39.99
Rock Rheology
$169.00
Persuasive Technology
$54.99
Burn After Writing (Celestial 2.0) by Sharon Jones
$14.00
Virus and Virus-like Diseases of Major Crops in Developing Countries
$169.00
Animal Models of Acute Neurological Injuries II
$169.99
A Practical Guide to Implementing School-Based Interventions for Adolescents with ADHD
$54.99
The Arrival (Hardcover)
$16.49
Baustellenmanagement im Anlagenbau
$109.00
Niedriglohnbeschftigung im Wohlfahrtsstaat
$49.99
Time-Integrative Geographic Information Systems
$109.99
The Ganga
$169.99
Trugschlsse
$59.99
Baby Faces Board Books
$13.75
Hydrogeologische Methoden
$139.00
Leadership Learning
$39.99
Reference Materials in Measurement and Technology
$179.99
Biochemistry of Inflammation
$169.00
Sound-Flow Interactions
$109.99
Treewidth, Kernels, and Algorithms
$54.99
Cognitive Development in Chimpanzees
$129.00
Chinese Political Thought
$109.99
Gateaux and Torten
$109.99
Unterrichtsplanung: Politik/Sozialkunde
$29.99
