Ship to
Netherlands
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada computer science logic
computer science logiccomputer science logic
Type
Physical Book
Publisher
Language
English
Pages
567
ISBN
3642040268
ISBN13
9783642040269

computer science logic

Cheaper New Book Imported to Netherlands
Delivery: 18 Aug - 25 Aug Shipping: 12 to 16 business days.
99,53 €
Faster New Book Imported to Netherlands
Delivery: 06 Aug - 10 Aug Shipping: 4 to 5 business days.
135,09 €
Import costs and 9% BTW included in the price ✅
99,53 €

Synopsis "computer science logic"

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 years ackermann award, the eacsl outstanding dissertation award for logic in computer science.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews