Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science 1258 (Paperback)
  • Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science 1258 (Paperback)
zoom

Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science 1258 (Paperback)

(editor), (editor)
£81.00
Paperback 479 Pages / Published: 18/06/1997
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540631729
Number of pages: 479
Weight: 1500 g
Dimensions: 235 x 155 x 24 mm
Edition: 1997 ed.

You may also be interested in...

Practical Reverse Engineering
Added to basket
The Art of Scalability
Added to basket
Systems Architecture
Added to basket
Computer Systems Architecture
Added to basket
Beyond Software Architecture
Added to basket
Digital Design and Computer Architecture
Added to basket
Assembly Language Step-by-Step
Added to basket
Principles of Computer Hardware
Added to basket
Professional CUDA C Programming
Added to basket
Articulating Design Decisions
Added to basket
The Soar Cognitive Architecture
Added to basket
Enterprise Data Architecture
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.