Filter
Søkt på: Søkeresultat
Filter
1 treff
Behavioral Types in Programming Languages
heftet,
2016,
Engelsk,
ISBN 9781680831344
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. …