google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Play Pass
Personalization in Play
Settings

Privacy Policy • Terms of Service

Flemming Nielson

Ebooks

Icon image Principles of Program Analysis

Principles of Program Analysis

Icon image Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Icon image Type And Effect Systems: Behaviours For Concurrency

Type And Effect Systems: Behaviours For Concurrency

Icon image Formal Methods: An Appetizer

Formal Methods: An Appetizer

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Kids & family

Parent Guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

United States (English (United States))