2006
Paperback (27 Jun 2006)
Save $0.38
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
| ISBN: | 9783540356318 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 27 Jun 2006 |
| Edition: | 2006 |
| DEWEY: | 005.1 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 455 |
| Weight: | 1440g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 24mm |
$15.92off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.92
$8.38off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $8.38
$0.73off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $0.73
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
$4.86off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.86
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
$17.48off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $17.48
$72.89off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $72.89