Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

By: Thomas Neele (Editor), Anton Wijs (Editor)

Write A Review

Paperback | 9 November 2024

At a Glance

Paperback
286 Pages

Dimensions(cm)
23.39 x 15.6 x 1.52

Paperback

$101.07

or 4 interest-free payments of $25.27 with

This title is not currently in stock at the Booktopia Warehouse and needs to be ordered from our supplier.

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.