عنوان
پدید آورنده
موضوع
رده
QA 75.5 .T525 1994
QA
75
.
5
.
T525
1994
کتابخانه
محل استقرار
CE
Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
London
Imperial College Press
1995
ix, 431 p. : ill
At head of title: Imperial College, Department of Computing
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994
Includes bibliographical references and index
Computer science - Congresses
QA
75
.
5
.
T525
1994
TI
editors, C. Hankin, I. Mackie, R. Nagarajan
English
