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

Saved in:
Bibliographic Details
Corporate Authors: Workshop on Computer Science Logic Lausanne, Švýcarsko) (Author), European Association for Computer Science Logic. Conference
Other Authors: Duparc, Jacques, 1962- (Editor), Henzinger, T. A., 1962- (Editor)
Format: Book
Language:English
Published: Berlin : Springer, c2007.
Series:Lecture notes in computer science ; 4646
Subjects:
For reservations/loans of the physical document, please log in.
Description Status Library Collection Call Number Notes Barcode
Available
Month
Faculty of Informatics K60.07 4200513463