Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Model Checking Software

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

Language EnglishEnglish
Book Paperback
Book Model Checking Software Thomas Neele
Libristo code: 46145408
Publishers Springer, Berlin, October 2024
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking... Full description
? points 125 b
51.56 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

SPA-REBELIN DE LAS PALABRAS / Andrea Ferrari / Book Paperback
common.buy 12.51 €
Langoat et ses noms de lieux Kervella Book Paperback
common.buy 10.18 €
ultimo Freddie Mercury. 1986-1991: gli ultimi anni di vita del mito Roberto De Ponti / Book Hardback
common.buy 22.50 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Model Checking Software
Author Thomas Neele, Anton Wijs
Language English
Binding Book - Paperback
Date of issue 2024
Number of pages 260
EAN 9783031661488
Libristo code 46145408
Publishers Springer, Berlin
Weight 435
Dimensions 155 x 235

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

History of the Jewish People in the Age of Jesus Christ: Volume 1 Emil Schurer / Book Hardback
common.buy 248.37 €
Violent fathering and the risks to children Lynne Harne / Book Hardback
common.buy 95.97 €
Bed of Roses Nora Roberts / Book Paperback
common.buy 7.66 €
The old Burying Ground of Fairfield, Conn Kate E. Perry / Book Paperback
common.buy 19.67 €
Translations From The German: In Prose And Verse (1812) Ellis Cornelia Knight / Book Paperback
common.buy 22.09 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?