Paperback (01 Jun 2021)
Not available for sale
Out of stock
Automated Verification of Concurrent Search Structures
| ISBN: | 9783031029349 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 01 Jun 2021 |
| Language: | English |
| Number of pages: | 192 |
| Weight: | 341g |
| Height: | 235mm |
| Width: | 191mm |
$3.91off
The Art of Uncertainty
Hardback
Published 19 Sep 2024
Save $3.91
$5.76off
Mathematica
Hardback
Published 28 May 2024
Save $5.76
Vector
Hardback
Published 07 Jun 2024
Is Maths Real?
Paperback
Published 06 Jun 2024
$0.20off
Statistics Without Tears
Paperback
Published 05 Jul 2018
Save $0.20
How the World Really Works
Paperback
Published 06 Oct 2022
$2.75off
How to Prove It
Paperback
Published 18 Jul 2019
Save $2.75
The Art of Logic
Paperback
Published 04 Jul 2019
Humble Pi
Paperback
Published 05 Mar 2020
The Art of Statistics
Paperback
Published 01 Mar 2020