Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
Ebooks
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
$19.25
$16.75
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
$22.75
$19.79
Modeling Companion for Software Practitioners
$24.50
$21.32
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
$19.25
$16.75
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
$19.25
$16.75