Publisher's Synopsis
Tools and Algorithms for the Construction and Analysis of Systems
Supremacy
Hardback
Published 12 Sep 2024
Save $8.87
- RRP $30.54
- $21.67
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Pa
Paperback (21 Apr 2023)
- $62.75
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783031308215 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 21 Apr 2023 |
| Language: | English |
| Number of pages: | 630 |
| Weight: | 871g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$3.85off
AI Snake Oil
Hardback
Published 24 Sep 2024
Save $3.85
- RRP $27.76
- $23.91
$5.40off
The Singularity Is Nearer
Hardback
Published 27 Jun 2024
Save $5.40
- RRP $34.70
- $29.30
$7.88off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.88
- RRP $41.64
- $33.76
$2.58off
Co-Intelligence
Paperback
Published 04 Apr 2024
Save $2.58
- RRP $23.58
- $21.00
$7.76off
ChatGPT and the Future of AI
Paperback
Published 07 Oct 2024
Save $7.76
- RRP $29.15
- $21.39
Virtual Society
Paperback
Published 05 Oct 2023
- $15.38
$44.44off
Empowering the Public Sector Wi...
Paperback
Published 28 Jul 2024
Save $44.44
- RRP $62.44
- $18.00
$8.39off
Sketching in Human-Computer Int...
Paperback
Published 20 Nov 2024
Save $8.39
- RRP $69.38
- $60.99