by SimoneMartini (Editor), Michael Kaminski (Editor)
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.
Format: Paperback
Pages: 513
Edition: illustrated edition
Publisher: Springer
Published: 10 Sep 2008
ISBN 10: 3540875301
ISBN 13: 9783540875307