Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings - Lecture Notes in Computer Science 5213 (Paperback)
  • Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings - Lecture Notes in Computer Science 5213 (Paperback)
zoom

Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings - Lecture Notes in Computer Science 5213 (Paperback)

(volume editor), (volume editor)
£90.00
Paperback 513 Pages / Published: 10/09/2008
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540875307
Number of pages: 513
Weight: 771 g
Dimensions: 235 x 155 x 30 mm
Edition: 2008 ed.

You may also be interested in...

Don't Make Me Think, Revisited
Added to basket
The Mythical Man-Month
Added to basket
Alan Turing: The Enigma Man
Added to basket
Using Docker
Added to basket
£47.99
Paperback
Artificial Intelligence: The Basics
Added to basket
Portfolio, programme and project offices
Added to basket
AQA A level Computer Science
Added to basket
Getting Started with Drones
Added to basket
Assembly Language Step-by-Step
Added to basket
Emotion: A Very Short Introduction
Added to basket
Blockchain
Added to basket
£19.99
Paperback
Machine Learning
Added to basket
Git for Teams
Added to basket
£39.99
Paperback
Introducing Artificial Intelligence
Added to basket
Computer Science Illuminated
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.