| Title:
|
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
|
| By: |
IEEE |
| Format: |
Paperback |
| List price:
|
£90.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0818674636 |
| ISBN 13: |
9780818674631 |
| Publisher: |
IEEE COMPUTER SOCIETY PRESS,U.S. |
| Pub. date: |
15 June, 2006 |
| Pages: |
535 |
| Description: |
Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. Subjects covered include: finite model theory, concurrency, temporal logic and |
| Synopsis: |
Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. Subjects covered include: finite model theory, concurrency, temporal logic and |
| Publication: |
US |
| Imprint: |
IEEE Computer Society Press,U.S. |
| Returns: |
Non-returnable |