Image from Amazon.com
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings / edited by Jacques Duparc, Thomas A. Henzinger.
Series: Lecture Notes in Computer Science ; 4646Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: xiv, 600 p. : ill., digital ; 24 cmISBN:- 9783540749158 (electronic bk.)
- 004.015113
- QA76.9.L63 W67 2007
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.