خرید و دانلود نسخه کامل کتاب Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)

روشهای رسمی یکپارچه: دومین کنفرانس بین المللی ، IFM 2000 ، قلعه Dagstuhl ، آلمان ، 1-3 نوامبر ، 2000 مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر ، 1945)

Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)

نویسنده: Wolfgang Grieskamp (editor), Thomas Santen (editor), Bill Stoddart (editor)

ناشر: Springer

سال انتشار: 2000

تعداد صفحات: 449

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت