
Download App
>> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Computer Science Log... |
ISBN
:
9783642040269
Publisher
:
Springer
Subject
:
Mathematics, Computer Science, Education
Binding
:
PAPERBACK
Pages
:
578
Year
:
2009
₹
12710.0
₹
11566.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View DetailsDescription
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.
Related Items
-
of
Are you sure you want to remove the item from your Bag?
Yes
No
Added to Your Wish List
OK
Your Shopping Bag
- 1 Item
Item
Delivery
Unit Price
Quantity
Sub Total
Order Summary