عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1708-1709
QA
76
.
L28
Vol
.
1708-1709
کتابخانه
محل استقرار
FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
1999: Toulouse, France
Berlin
Springer-Verlag
c1999
2v.: ill., tables
1
2
Lecture notes in computer science; 8071-9071
Includes bibliographies
ISBN 3540665870 )v.1(
Jeannette M. Wing, Jim Woodcock, Jim Davies )eds.(
1
1
Congresses ، Formal methods )Computer science(
Congresses ، Application software -- Development
QA
76
.
L28
Vol
.
1708-1709
AU
AU Wing, Jeannette Marie
AU Woodcock, James C. P.
AU Davies, Jim, 1964-
TI
SE
World Congress on Formal Methods in the Development of Computing Systems
