Paperback (15 Jun 2006)
Not available for sale
Out of stock
Proceedings of a June 2001 symposium. Topics include a decision procedure for an extensional theory of arrays, semantics of name and value passing, the decision problem for the guarded fragment with transitivity, a universal characterization of the closed Euclidean interval, a second-order system for polytime reasoning using Graedel's theorem, a n!
| ISBN: | 9780769512815 |
| Publisher: | IEEE Computer Society Press,U.S. |
| Imprint: | IEEE Computer Society Press,U.S. |
| Pub date: | 15 Jun 2006 |
| Language: | English |
| Number of pages: | 441 |
| Weight: | -1g |
| Height: | 266mm |
| Width: | 209mm |
| Spine width: | 25mm |
$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
$8.10off
High Performance Computing
Paperback
Published 09 Dec 2024
Save $8.10
$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
$5.29off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.29
$21.63off
Building Multi-Tenant SaaS Arch...
Paperback
Published 07 May 2024
Save $21.63
$62.65off
Cloud Native Networking Deep-Dive
Paperback
Published 04 Dec 2023
Save $62.65