Behavioral Types in Programming Languages (Foundations and Trends (R) in
96,87 €
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography.
Jetzt bei Ebay:
