دانلود کتاب Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
by Peter E. Lauer (auth.)
|
عنوان فارسی: برنامه نویسی تابعی، همزمانی، شبیه سازی و استدلال خودکار: سری سخنرانی بین المللی 1991-1992 دانشگاه مک مستر، همیلتون، انتاریو، کانادا |