Games
Apps
Books
Kids
google_logo Play
Games
Apps
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
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Books
Kids
More by Shaoying Liu
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
€98.09
€68.66
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
€98.09
€68.66
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
€98.09
€68.66