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
Flemming Nielson
Ebooks
Principles of Program Analysis
3.0
star
CHF 67.50
CHF 47.25
Type and Effect Systems: Behaviours for Concurrency
CHF 32.59
CHF 22.81
Semantics with Applications: An Appetizer
5.0
star
CHF 54.50
CHF 38.15