Lecture Notes in Computer Science: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Dawar, Anuj; Veith, Helmut

Details

Published by: Springer

Publication Date: 2010-08-11

Format: Paperback

ISBN-13: 9783642152047

DOI: 10.1007/978-3-642-15205-4

Dimensions: cm xcm

Pages: 548