2007
Paperback (08 Mar 2007)
Save $9.95
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.
| ISBN: | 9783540713142 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 08 Mar 2007 |
| Edition: | 2007 |
| Language: | English |
| Number of pages: | 542 |
| Weight: | 1720g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 29mm |
Compiler Design
Paperback
Published 29 Nov 2012
$9.61off
MATLAB Control Systems Engineer...
Paperback
Published 11 Sep 2014
Save $9.61
$5.75off
Language Implementation Patterns
Paperback
Published 19 Jan 2010
Save $5.75
$13.09off
Compiler Design: Principles, Te...
Hardback
Published 31 May 2018
Save $13.09
$1.38off
C Als Erste Programmiersprache
Paperback
|
German
Published 02 Oct 2024
Save $1.38
$3.55off
Iterating Infusion
Paperback
Published 13 Nov 2012
Save $3.55
$8.94off
Real World Software Configurati...
Paperback
Published 11 Nov 2003
Save $8.94
$19.29off
Julia Quick Syntax Reference
Paperback
Published 28 Jan 2025
Save $19.29
$21.68off
The Joys of Hashing
Paperback
Published 30 Oct 2024
Save $21.68
$9.25off
Formal Methods for Industrial C...
Paperback
Published 21 Aug 2024
Save $9.25