عنوان
پدید آورنده
موضوع
رده
QA 76.6 .A48 1996
QA
76
.
6
.
A48
1996
کتابخانه
محل استقرار
H1
Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
London
Imperial College Press
1996
viii, 330 p.: ill
Workshops in computing
Includes bibliographies
Electronic digital computers - Programming - Congresses
QA
76
.
6
.
A48
1996
TI
editors: A. Edalat, S. Jourdan, G. Mccusker
