Computer Science Logic
by M. Nielsen (Editor)Wolfgang Thomas (Editor)G. Goos (Editor)J. Hartmanis (Editor)Jan Van Leeuwen (Editor)European Association for Computer Science Logic Staff
Format: Paperback
ISBN13: 9783540645702
Paperback|9783540645702
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 2 offers from $58.73 FREE standard delivery by: 30 Mar 2026
Overview
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.
| ISBN-13 | 9783540645702 |
|---|---|
| ISBN-10 | 3540645705 |
| Weight | 1.62 Pounds |
| Dimensions | 6.10 x 1.19 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 520 pages |
| Publisher | Springer |
| Published On | 1998-05-20 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Glued binding. 520 p. Lecture Notes in Computer Science, 1414.
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026