Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings

Author：edited by Gilles Barthe.

Publisher：Springer Berlin Heidelberg

ISBN：9783642197185 (electronic bk.) ; 9783642197178 (paper)

Publication Date：2011

其他作者：Barthe, Gilles.

語言：zh

出版地：Berlin, Heidelberg :

Description

xiv, 500 p. ::ill., digital ;:24 cm.

Search Same Author