0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Paperback, 1997 ed.) Loot Price: R1,675
Discovery Miles 16 750
Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands,...

Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Paperback, 1997 ed.)

Dirk Van Dalen, Marc Bezem

Series: Lecture Notes in Computer Science, 1258

 (sign in to rate)
Loot Price R1,675 Discovery Miles 16 750 | Repayment Terms: R157 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1258
Release date: June 1997
First published: 1997
Editors: Dirk Van Dalen • Marc Bezem
Dimensions: 235 x 155 x 24mm (L x W x T)
Format: Paperback
Pages: 479
Edition: 1997 ed.
ISBN-13: 978-3-540-63172-9
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN: 3-540-63172-0
Barcode: 9783540631729

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R3,075 Discovery Miles 30 750
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R887 Discovery Miles 8 870
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,185 Discovery Miles 11 850
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R971 R797 Discovery Miles 7 970
Concurrency - The Works of Leslie…
Dahlia Malkhi Hardcover R2,594 Discovery Miles 25 940
Constraint Decision-Making Systems in…
Santosh Kumar Das, Nilanjan Dey Hardcover R7,041 Discovery Miles 70 410
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,608 Discovery Miles 56 080
Advances in Intelligent Systems…
Sergey Yurish Hardcover R2,418 Discovery Miles 24 180
Heterogeneous Computing - Hardware and…
Mohamed Zahran Hardcover R1,585 Discovery Miles 15 850
Advancements in Instrumentation and…
Srijan Bhattacharya Hardcover R6,481 Discovery Miles 64 810
Applying Integration Techniques and…
Gabor Kecskemeti Hardcover R6,384 Discovery Miles 63 840
Linux - The Ultimate Beginner's Guide to…
Ryan Turner Hardcover R1,062 R853 Discovery Miles 8 530

See more

Partners