Publisher's Synopsis
Certified Programs and Proofs
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.21
- RRP $47.84
- $40.63
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Paperback (02 Jan 2013)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783642353093 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 02 Jan 2013 |
| Language: | English |
| Number of pages: | 316 |
| Weight: | 446g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$7.21off
Balancing Coupling in Software ...
$9.42off
Refactoring
Hardback
Published 11 Jan 2019
Save $9.42
- RRP $66.98
- $57.56
Coding With Scratch
Paperback
Published 15 Oct 2024
- $16.64
$4.10off
Mapmatics
Hardback
Published 27 Sep 2024
Save $4.10
- RRP $34.11
- $30.01
$13.12off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.12
- RRP $65.61
- $52.49
$11.29off
Programming
Paperback
Published 09 Sep 2024
Save $11.29
- RRP $82.02
- $70.73
$18.28off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $18.28
- RRP $76.55
- $58.27
$17.07off
Async Rust
Paperback
Published 28 Nov 2024
Save $17.07
- RRP $65.61
- $48.54
$16.21off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.21
- RRP $61.51
- $45.30
$12.82off
Learning Microsoft Power Apps
Paperback
Published 30 Jul 2024
Save $12.82
- RRP $65.61
- $52.79