Publisher's Synopsis
Computer Aided Verification
Build a Large Language Model (F...
Hardback
Published 01 Nov 2024
Save $9.65
- RRP $62.42
- $52.77
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Paperback (16 Jul 2016)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783319415413 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 16 Jul 2016 |
| Language: | English |
| Number of pages: | 540 |
| Weight: | 749g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$9.65off
Build a Large Language Model (F...
$7.15off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.15
- RRP $47.49
- $40.34
$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.10off
Optimizing Cloud Native Java
Paperback
Published 25 Oct 2024
Save $16.10
- RRP $75.99
- $59.89