Computer science logic
Subtitle: 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
By: Jacques Duparc, Thomas A. Henzinger (eds.).
Contributors: Duparc, Jacques, 1962-; Henzinger, Thomas A.
Series: Lecture notes in computer science -- 4646.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 600
ISBN-13: 9783540749141
Subjects: Computer logic -- Congresses.
Genres: Congresses.
Other titles: CSL 2007.
Notes: International conference proceedings.

Includes bibliographical references and author index.

Also issued online.