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

Bibliographic Information

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

Jacques Duparc, Thomas A. Henzinger (eds.)

(Lecture notes in computer science, 4646)

Springer, c2007

Search this Book/Journal
Note

Includes bibliographies and index

Related Books: 1-1 of 1
Details
Page Top