Paperback (31 Jan 1996)
Not available for sale
Out of stock
The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a compl
| ISBN: | 9780818670503 |
| Publisher: | IEEE Computer Society Press,U.S. |
| Imprint: | IEEE Computer Society Press,U.S. |
| Pub date: | 31 Jan 1996 |
| DEWEY: | 005.1 |
| Language: | English |
| Number of pages: | 528 |
| Weight: | -1g |
| Height: | 279mm |
| Width: | 222mm |
| Spine width: | 31mm |
$10.73off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.73
$9.05off
The Real Internet Architecture
Paperback
Published 01 Oct 2024
Save $9.05
$16.71off
Learning Systems Thinking
Paperback
Published 30 Jul 2024
Save $16.71
$17.13off
Platform Engineering
Paperback
Published 18 Oct 2024
Save $17.13
High Performance Computing
Paperback
Published 09 Dec 2024
$20.44off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $20.44
$18.10off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $18.10
Embedded System Design
Paperback
Published 29 Jan 2024
$8.85off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.85
$5.29off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.29