Publisher's Synopsis
Tools and Algorithms for the Construction and Analysis of Systems
Virtual Society
Paperback
Published 05 Oct 2023
- $15.15
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1,
Paperback (27 Mar 2021) | German
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783030720148 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 27 Mar 2021 |
| Language: | German |
| Number of pages: | 488 |
| Weight: | 679g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
Virtual Society
$8.38off
Sketching in Human-Computer Int...
Paperback
Published 20 Nov 2024
Save $8.38
- RRP $68.35
- $59.97
$4.85off
Taming Silicon Valley
Paperback
Published 11 Sep 2024
Save $4.85
- RRP $23.23
- $18.38
$16.86off
Developing Apps With GPT-4 and ...
Paperback
Published 26 Jul 2024
Save $16.86
- RRP $65.61
- $48.75
$2.16off
Top 20 Essential Skills for Arc...
Paperback
Published 25 Jul 2024
Save $2.16
- RRP $49.21
- $47.05
$10.75off
Thrive
Hardback
Published 01 Oct 2024
Save $10.75
- RRP $41.02
- $30.27
$24.66off
Confident DevOps
Hardback
Published 03 Jul 2024
Save $24.66
- RRP $71.09
- $46.43
$1.73off
From Gutenberg to Google and on...
Paperback
Published 01 Sep 2024
Save $1.73
- RRP $20.49
- $18.76
What's Next? AI & The Antichrist
Paperback
Published 25 Apr 2024
- $16.35
$16.87off
Fundamentals of Enterprise Arch...
Paperback
Published 20 Sep 2024
Save $16.87
- RRP $65.61
- $48.74