Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
276.36
lei
This book constitutes the refereed proceedings of the Second International Conference on Integrated...