• Shop by category
  • Powered by eBay
  • Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg Cit

    • Item No : 236213520204
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile_uk_store
    • Current Bid : US $91.88
    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category