عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .D5 .F66 1997
QA
76
.
9
.
D5
.
F66
1997
کتابخانه
محل استقرار
117249
بهار۸۷
English
)91(
Formal methods for open object-based distributed systems. volume 2
London
Chapman & Hall
1997
vii, 470 p.: ill.; 25 cm
"IFIP TC6 WG6.1 International Workshop on Formal Methods for Open Object-based Distributed Systems )FMOODS '97(, 21-23 July 1997, Canterbury, Kent, UK"
"This volume contains the proceedings of the Second IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems )FMOODS '97("-- Preface
Includes bibliographical references and index
1st ed
، Electronic data processing-- Distributed processing-- Congresses
، Object-oriented methods )Computer science(-- Congresses
QA
76
.
9
.
D5
.
F66
1997
TI
edited by Howard Bowman and John Derrick
AU drawoH ,namwoB
AU nhoJ ,kcirreD
CO International Federation for Information Processing
CO International Workshop on Formal Methods for Open Object-based Distributed Systems )2nd: 7991: Canterbury, Kent, UK.(
129
