Computer Science Logic: 22nd Inteational Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, .. Computer Science and General Issues)
Hardcover: 513 pages
Publisher: Springer (September 10, 2008)
Language: English
ISBN-10: 3540875301