Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /

Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors: Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), Duparc, Jacques, Henzinger, Thomas A., SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Computer logic
Online Access:http://dx.doi.org/10.1007/978-3-540-74915-8

Internet

http://dx.doi.org/10.1007/978-3-540-74915-8

Similar Items