Amtoft, Torben; Amroft, Torben; Nielson, Hanne Riis
Type and Effect Systems: Behaviors for Concurrency
WORLD SCIENTIFIC PUB CO (, 1860941540, 43,95 €.
Presents and develops current validation techniques for detecting safety violations. The focus of the text is on the correctness of techniques that ...
weiterlesen