عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3294
QA
76
.
L28
Vol
.
3294
کتابخانه
محل استقرار
Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
2004 : Ghent, Belgium
Berlin
Springer-Verlag
c2004
x, 248 p.: ill
Lecture notes in computer science; 4923
"These proceedings record the papers presented at the Symposium on Teaching Formal Methods.
Includes bibliographies
ISBN: 3540236112
C. Neville Dean, Raymond T. Boute )eds.(
1
Study and teaching -- Congresses ، Formal methods )Computer science(
Study and teaching -- Congresses ، Computer software -- Development
QA
76
.
L28
Vol
.
3294
NO
AU
AU Dean, C. Neville
AU Boute, Raymond T.
CO European Network on Computational Logic
CO Formal Methods Europe )Organization(
TI
SE
TFM
