Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, Sept by Erich GrädelComputer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, Sept by Erich Grädel

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL…

byErich GrädelEditorReinhard Kahle

Paperback | August 28, 2009

Pricing and Purchase Info

$170.48 online 
$205.95 list price save 17%
Earn 852 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science.
Title:Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL…Format:PaperbackDimensions:567 pages, 23.5 × 15.5 × 1.73 inPublished:August 28, 2009Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642040268

ISBN - 13:9783642040269

Reviews