Yazar
m c gaudel
2 cilt bulundu.
Cilt sonuçları
Fme '96, Industrial Benefit of Formal Methods
england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock · Springer-Verlag
Sayfa sayısı yok · 1996
Programming - Software Development / Software Development / Computers / Computer software / Congresses
