Semantics with Applications: An Appetizer Sách Khác Của Hanne Riis Nielson & Flemming Nielson

Coordination Models and Languages Coordination Models and Languages
2019
Static Analysis Static Analysis
2007