عنوان

Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

پدید آورنده

Frank S. de Boer...]et al.[ )eds.(

موضوع

Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده

QA

76

.

L28

Vol

.

3188

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران