Computer science logic [electronic resource] : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings / edited by Michael Kaminski, Simone Martini.
Series: lecture notes in computer science ; 5213Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: xi, 512 p. : digital ; 24 cmISBN:- 9783540875314 (electronic bk.)
- 9783540875307 (paper)
- 004.015113 22
- QA76.9.L63 W67 2008
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.
