Paperback
Not available for sale
Out of stock
The sections cover automata and formal languages, trace theory, algorithms, rewriting, parallel models, logic programming, circuits, interactive proof systems, distributed computing, concurrency, complexity, parallel algorithms, semantics, and systems. The invited lectures address polymorphism, parameterization, and typing: an algebraic specificati
| ISBN: | 9780387537092 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 548 |
| Weight: | -1g |
$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