Stock image for illustration purposes only - book cover, edition or condition may vary.
Programming Languages and Systems
Rocco de . Ed(S): Nicola
€ 130.94
FREE Delivery in Ireland
Description for Programming Languages and Systems
Paperback. Contains sections on models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, and static analysis and abstract interpretation. This book also covers semantic theories for object oriented languages, process algebraic techniques, and applicative programming. Editor(s): Nicola, Rocco de. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 560 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 781.
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
560
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
542
Place of Publication
Berlin, Germany
ISBN
9783540713142
SKU
V9783540713142
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Programming Languages and Systems