Publisher's Synopsis
Model Checking Software
Software Development Pearls
Paperback
Published 06 Oct 2021
Save $2.74
- RRP $35.53
- $32.79
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Paperback (18 Sep 2019) | German
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783030309244 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 18 Sep 2019 |
| Language: | German |
| Number of pages: | 272 |
| Weight: | 386g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$2.74off
Software Development Pearls
$6.16off
The Pragmatic Programmer
Hardback
Published 02 Dec 2019
Save $6.16
- RRP $54.67
- $48.51
$13.34off
97 Things Every Java Programmer...
Paperback
Published 02 Jun 2020
Save $13.34
- RRP $54.67
- $41.33
$3.94off
Robert Read's How To Be A Progr...
Paperback
Published 02 Oct 2009
Save $3.94
- RRP $12.29
- $8.35
$15.12off
The Staff Engineer's Path
Paperback
Published 30 Sep 2022
Save $15.12
- RRP $50.57
- $35.45
$8.35off
Software Engineering
Paperback
Published 27 Aug 2015
Save $8.35
- RRP $113.46
- $105.11
$50.82off
Usability Engineering
Paperback
Published 11 Nov 1994
Save $50.82
- RRP $72.45
- $21.63
$36.94off
Cloud Native Spring in Action
Paperback
Published 13 Dec 2022
Save $36.94
- RRP $62.06
- $25.12
$19.33off
Policy as Code
Paperback
Published 12 Jul 2024
Save $19.33
- RRP $87.49
- $68.16
$9.72off
The Engineering Leader
Paperback
Published 30 Apr 2024
Save $9.72
- RRP $43.74
- $34.02