Pozycje tego autora w naszej księgarni:
Wyniki wyszukiwania
Znaleziono 1 pasujący rekord dla kryteriów wyszukiwania
|
|
|
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive ...
|
