Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
₹5,652
Programming Languages and Systems
20th European Symposium on Programming
Springer · 2011
₹5,652
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Programming Languages and Systems: 20th European Symposium on Programming is written by Gilles Barthe. This edition from Springer (2011).
Its main subjects are Logic design, Computer networks, Software engineering and Computer science.
About the author: Gilles Barthe (born 1967).
Book details
- ISBN-13
- 9783642197178
- ISBN-10
- 3642197175
- Author
- Gilles Barthe
- Publisher
- Springer
- Author dates
- Gilles Barthe (born 1967)
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Gilles Barthe and related titles
Formal Aspects of Security and Trust
Gilles Barthe, Anupam Datta, Sandro Etalle
₹4,813
Engineering Secure Software and Systems
Gilles Barthe, Ben Livshits, Riccardo Scandariato
₹5,461
Eclipse Rich Ajax Platform
Fabian Lange
₹2,050
Language Design and Programming Methodology
J-m-tobias
₹1,858
Pro Hadoop Data Analytics
Kerry Koitzsch
₹3,772
Beginning Julia Programming
Sandeep Nagar
₹5,714
Multivariate Statistical Quality Control Using R
Edgar Santos-Ferandez
₹4,629
Professional Scala
Janek Bogucki, Aliaksandr Bedrytski, Alessandro Lacava, Matthew de Detrich, Benjamin Neil
₹3,605
Introduction to Compiler Construction in a Java World
Bill Campbell, Bahar Akbal-Delibas, Swami Iyer
₹8,037
Semantics of Programming Languages – Structures & Techniques (Paper) (ISE)
Carl A. Gunter
₹8,132
Static Analysis
International Static Analysis Symposium (8th 2001 Paris, france)
₹4,260