Computer Science Logic: 24th Inteational Workshop,

Computer Science Logic: 24th Inteational Workshop, CSL 2010, 19th Annual Conference of the EACSL, Bo, Czech Republic, August 23-27, 2010, .. Computer Science and General Issues)

Hardcover: 548 pages

Publisher: Springer (August 11, 2010)

Language: English

ISBN-10: 364215204X