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...


Showing 1 - 3 of 3 results for “eva darulova”
Skip side bar filters

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I

    Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

    Free

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

    Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

    Free

  • Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part III

    Edited by Eva Darulova, Anthony W. Lin, Philipp Rümmer ...
    Series Book 3 - Springer Nature Proceedings Computer Science
    This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.These papers apply or extend formal methods to a wide range of domains such as ... Read more

    Free