Computer Science Logic

Computer Science Logic

EnglishPaperback / softback
Springer, Berlin
EAN: 9783540875307
On order
Delivery on Tuesday, 11. of March 2025
€84.05
Common price €93.38
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available

Detailed information

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 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.
EAN 9783540875307
ISBN 3540875301
Binding Paperback / softback
Publisher Springer, Berlin
Publication date September 10, 2008
Pages 513
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Illustrations XI, 513 p.
Editors Kaminski, Michael; Martini Simone
Edition 2008 ed.
Series Lecture Notes in Computer Science
Manufacturer information
The manufacturer's contact information is currently not available online, we are working intensively on the axle. If you need information, write us on helpdesk@megabooks.sk, we will be happy to provide it.