Filter
Operativsystemer og grafisk brukergrensesnitt
Filter
This book describes the history of SV, techniques and frameworks for its construction, its use in education and program debugging, and recent attempts to evaluate its …