D. C. Luckham; F. W. Von Henke; H. J. Larsen; D. R. Stevenson
D. C. Luckham; F. W. Von Henke; H. J. Larsen; D. R. Stevenson
Anders Ardö; Lars Philipson
Anders Ardö; Lars Philipson
B. W. Marsden
B. W. Marsden
Giorgio Bruno
Giorgio Bruno
Anna Hać
Anna Hać
THE UNIX SYSTEM, S. R. Bourne, Addison Wesley, London, 1982. No. of pages: 351. Price: £11.95 [0.03%]
Adrienne Jackson
Adrienne Jackson
Steady-state compilers [0.03%]
B. J. Cornelius; I. R. Lowman; D. J. Robson
B. J. Cornelius; I. R. Lowman; D. J. Robson
The use of ghost variables and virtual programming in the documentation and verification of programs [0.03%]
M. Clint; C. Vicent
M. Clint; C. Vicent