دانلود کتاب FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I
by C. A. R. Hoare (auth.)
|
عنوان فارسی: FM’99 - روش های رسمی: کنگره جهانی روش های رسمی در توسعه سیستم های محاسباتی تولوز ، فرانسه ، 20 تا 24 سپتامبر ، مجموعه مقالات ، جلد اول |