عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .T525 1995
QA
75
.
5
.
T525
1995
کتابخانه
محل استقرار
129108
بهار۱۸
English
)91(
Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
London
Imperial College Press
1995
ix, 431 p.: ill.; 23 cm
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, Lond on held in Cambridge on 11th-14th September 1994
Includes bibliographical references and index
Congresses ، Computer science
Congresses ، Formal methods )Computer science(
QA
75
.
5
.
T525
1995
TI
editors, C. Hankin, I. Mackie, R. Nagarajan
AU sirhC ,niknaH
AU (naI).I ,eikcaM
AU (lapogajaR).R ,najaragaN
CO Imperial College of Science, Technology, and Medicine )Great Britain(. Dept. of Computing
CO Imperial College Department of Computing Workshop on Theory and Formal Methods )2nd: 4991: Cambridge, England(
129
