Paperback (13 Oct 2024)
Save $7.41
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
| ISBN: | 9783031661488 |
| Publisher: | Springer Nature Switzerland |
| Imprint: | Springer |
| Pub date: | 13 Oct 2024 |
| DEWEY: | 005.30287 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 258 |
| Weight: | 404g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 15mm |
$4.47off
A Dictionary of Electronics and...
Paperback
Published 21 Jun 2018
Save $4.47
$7.32off
Electronics
Paperback
Published 08 Oct 2021
Save $7.32
$20.82off
AutoCAD 2025 Tutorial Second Le...
Paperback
Published 29 Jul 2024
Save $20.82
$3.54off
An Introduction to SOLIDWORKS F...
Paperback
Published 19 Aug 2024
Save $3.54
$7.92off
Embedded System Design
Paperback
Published 29 Jan 2024
Save $7.92
$128.48off
Advances in Imaging and Electro...
Hardback
Published 25 Oct 2019
Save $128.48
$15.24off
Autodesk Inventor 2025 and Engi...
Paperback
Published 09 Aug 2024
Save $15.24
$2.28off
Residential Design Using Autode...
Paperback
Published 29 Jul 2024
Save $2.28
$2.16off
Signals, Systems and Signal Pro...
Hardback
Published 13 Jun 2024
Save $2.16