• Shop by category
  • Powered by eBay
  • Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, N

    • Item No : 146715097581
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $72.79
    • * Item Description

    • This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category