Programming Languages and Systems
19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
-
- US$119.99
-
- US$119.99
출판사 설명
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
장르
컴퓨터 및 인터넷
출시일
2010년
3월 17일
언어
EN
영어
길이
629
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
11.8
MB