Computer science logic
Subtitle: 22nd International Workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
By: Michael Kaminski, Simone Martini (eds.).
Contributors: Kaminski, Michael.; Martini, Simone.; European Association for Computer Science Logic.
Series: Lecture notes in computer science -- 5213; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 512
ISBN-13: 9783540875307
Subjects: Computer logic -- Congresses
Genres: Congresses
Other titles: CSL 2009
Notes: Includes bibliographical references and index.