Publisher's Synopsis
Verification, Model Checking, and Abstract Interpretation
Coding With Scratch
Paperback
Published 15 Oct 2024
- $16.89
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Paperback (12 Feb 2016)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783662491232 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 12 Feb 2016 |
| Language: | English |
| Number of pages: | 574 |
| Weight: | 795g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
Coding With Scratch
$4.48off
Mapmatics
Hardback
Published 27 Sep 2024
Save $4.48
- RRP $34.63
- $30.15
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
- RRP $66.61
- $53.28
$11.46off
Programming
Paperback
Published 09 Sep 2024
Save $11.46
- RRP $83.26
- $71.80
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
- RRP $77.71
- $58.39
$16.53off
Optimizing Cloud Native Java
Paperback
Published 25 Oct 2024
Save $16.53
- RRP $77.71
- $61.18
$17.98off
Async Rust
Paperback
Published 28 Nov 2024
Save $17.98
- RRP $66.61
- $48.63
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
- RRP $62.44
- $45.98
$13.02off
Learning Microsoft Power Apps
Paperback
Published 30 Jul 2024
Save $13.02
- RRP $66.61
- $53.59
$14.63off
Head First C#
Paperback
Published 26 Jul 2024
Save $14.63
- RRP $88.82
- $74.19