دانلود کتاب Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
کتاب برنامه نویسی عملکردی ، همزمانی ، شبیه سازی و استدلال خودکار: سری سخنرانی های بین المللی 1991-1992 دانشگاه مک مستر ، همیلتون ، انتاریو ، کانادا نسخه زبان اصلی
دانلود کتاب برنامه نویسی عملکردی ، همزمانی ، شبیه سازی و استدلال خودکار: سری سخنرانی های بین المللی 1991-1992 دانشگاه مک مستر ، همیلتون ، انتاریو ، کانادا بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
نام کتاب : Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : برنامه نویسی عملکردی ، همزمانی ، شبیه سازی و استدلال خودکار: سری سخنرانی های بین المللی 1991-1992 دانشگاه مک مستر ، همیلتون ، انتاریو ، کانادا
سری : Lecture Notes in Computer Science 693
نویسندگان : Peter E. Lauer (auth.), Peter E. Lauer (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1993
تعداد صفحات : 403
[410]
ISBN (شابک) : 3540568832 , 9783540568834
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 3 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.