Programming Languages and Systems Image close
Programming Languages and Systems
Programming Languages and Systems
Show Hide Adult Content
Programming Languages and Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computing: general

Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$162.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $40.50 with Afterpay Learn more

6 weekly interest-free payments of $27.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jun - 4 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Selected Areas in Cryptography
$200.00
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 23 Jun 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$567.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 20 May 2024
Advances in Cryptology – EUROCRYPT 2024
$340.00
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 11 Jun 2024
Programming Languages and Systems
$152.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Advances in Intrusion Detection
$155.00
Recent Advances in Intrusion Detection
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$150.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy
$150.00
Engineering Psychology and Cognitive Ergonomics. Mental Workload,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$263.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Cybersecurity of Digital Service Chains
$137.00
Cybersecurity of Digital Service Chains
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Component Deployment
$148.00
Component Deployment
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Image Analysis
$154.00
Combinatorial Image Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
Release date NZ
April 15th, 2018
Contributor
  • Edited by Amal Ahmed
Pages
1058
Edition
1st ed. 2018
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Illustrations
276 Illustrations, black and white; XVI, 1058 p. 276 illus.
ISBN-13
9783319898834
Product ID
27809682

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence