Programming Languages and Systems
Subtitle: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
By: edited by Gilles Barthe
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6602
Publisher: Springer Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642197178; 9783642197185
Subjects: Logic design; Computer networks; Software engineering; Computer science; Artificial intelligence