عنوان
پدید آورنده
موضوع
رده
QA76.9 .F67,T46 2004 R
QA76
.
9
.
F67
,
T46
2004
R
کتابخانه
محل استقرار
3540236112
IR
69311
انگلیسی
IR
Teaching formal methods
[Book]
:CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
/ C. Neville Dean, Raymond T. Boute (eds.)
Berlin ; New York
: Springer,
, c2004.
x, 248 p.
: ill.
(Lecture notes in computer science,0302-9743
; 3294)
زبان: انگلیسی
Print
Formal methods (Computer science)- Study and teaching- Congresses
Computer software- Development- Study and teaching- Congresses
QA76
.
9
.
F67
,
T46
2004
R
TFM 2004(2004 :Ghent, Belgium)
Dean, Neville
Boute, R. T.(Raymond T.)
ایران
Central Library of martyr Chamran
old catalog
p
BL
1
a
Y
