Publisher's Synopsis
Computer Aided Verification
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.15
- RRP $47.49
- $40.34
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Paperback (16 Jul 2016)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783319415291 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 16 Jul 2016 |
| Language: | English |
| Number of pages: | 560 |
| Weight: | 776g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$7.15off
Balancing Coupling in Software ...
$10.93off
Refactoring
Hardback
Published 11 Jan 2019
Save $10.93
- RRP $66.49
- $55.56
Coding With Scratch
Paperback
Published 15 Oct 2024
- $16.52
$4.12off
Mapmatics
Hardback
Published 27 Sep 2024
Save $4.12
- RRP $33.86
- $29.74
$13.03off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.03
- RRP $65.13
- $52.10
$11.25off
Programming
Paperback
Published 09 Sep 2024
Save $11.25
- RRP $81.42
- $70.17
$17.89off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $17.89
- RRP $75.99
- $58.10
$16.64off
Async Rust
Paperback
Published 28 Nov 2024
Save $16.64
- RRP $65.13
- $48.49
$16.10off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.10
- RRP $61.06
- $44.96
$12.73off
Learning Microsoft Power Apps
Paperback
Published 30 Jul 2024
Save $12.73
- RRP $65.13
- $52.40