دانلود کتاب Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
by Yu. L. Ershov (auth.)
|
عنوان فارسی: روشهای صوری در برنامه نویسی و کاربرد آنها: کنفرانس Academgorodok بین المللی، نووسیبیرسک روسیه 28 ژوئن - 2 ژوئیه، 1993 مقالات |