Computer science logic : 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Bibliographic Details

Other Authors:	Duparc, Jacques, 1962- (Editor)  Henzinger, T. A., 1962- (Editor)
Corporate Author:	European Association for Computer Science Logic. Conference
Conference:	Workshop on Computer Science Logic (21. : 2007 : Lausanne, Švýcarsko)
Format:	Book
Language:	English
Published:	Berlin : Springer, 2007
Series:	Lecture notes in computer science, 4646
Genre/form:	sborníky konferencí
ISSN:	0302-9743 ;
ISBN:	978-3-540-74914-1 3-540-74914-4
Subjects:	matematická logika softwarové inženýrství
Online Access:	Plný text
Tags:	Add Tag No Tags, Be the first to tag this record!