Publisher's Synopsis
Theory and Practice of Formal Methods
Build a Large Language Model (F...
Hardback
Published 01 Nov 2024
Save $11.23
- RRP $62.88
- $51.65
Theory and Practice of Formal Methods Essays Dedicated to Frank De Boer on the Occasion of His 60th Birthday
Paperback (16 Mar 2016)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783319307350 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 16 Mar 2016 |
| Language: | English |
| Number of pages: | 440 |
| Weight: | 614g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$11.23off
Build a Large Language Model (F...
$7.21off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.21
- RRP $47.84
- $40.63
$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
$16.22off
Optimizing Cloud Native Java
Paperback
Published 25 Oct 2024
Save $16.22
- RRP $76.55
- $60.33