Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


1 result for
Skip side bar filters

  • Model Checking Software

    26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

    Edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, ... Read more

    $49.99 USD