Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Paperback, 2013 ed.) Loot Price: R1,622

Discovery Miles 16 220

Repayment Terms: R152 pm x 12*

Add to cart

Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint...

Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Paperback, 2013 ed.)

Matthias Felleisen, Philippa Gardner

Series: Lecture Notes in Computer Science, 7792

(sign in to rate)

Loot Price R1,622 Discovery Miles 16 220 | Repayment Terms: R152 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 7792
Release date:	February 2013
First published:	2013
Editors:	Matthias Felleisen • Philippa Gardner
Dimensions:	235 x 155 x 32mm (L x W x T)
Format:	Paperback
Pages:	620
Edition:	2013 ed.
ISBN-13:	978-3-642-37035-9
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-642-37035-7
Barcode:	9783642370359