دانلود کتاب Baltic Computer Science: Selected Papers (به فارسی: علوم کامپیوتر بالتیک: مقالات منتخب) نوشته شده توسط «G. Mints – E. Tyugu (auth.) – Janis Bārzdinš – Dines Bjørner (eds.)»
اطلاعات کتاب علوم کامپیوتر بالتیک: مقالات منتخب
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: G. Mints – E. Tyugu (auth.) – Janis Bārzdinš – Dines Bjørner (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 626
حجم کتاب: 5 مگابایت
کد کتاب: 3540541314 , 9783540541318 , 0387541314
نوبت چاپ: 1
توضیحات کتاب علوم کامپیوتر بالتیک: مقالات منتخب
این جلد بخش قابل توجهی از نتایج بهدستآمده در چند سال اخیر در زمینه علوم رایانه در جمهوریهای بالتیک استونی، لتونی و لیتوانی را ارائه میکند. این شامل نتایجی است که قبلاً فقط به زبان روسی منتشر شده بود و همچنین نتایج کاملاً جدید. به موضوعات اصلی زیر پرداخته می شود: ترکیب قیاسی برنامه ها، تولید نمونه آزمایشی خودکار، و مشخصات و تولید سیستم های توزیع شده. اینها همه زمینه هایی هستند که دانشمندان حوزه بالتیک در آنها مشارکت قابل توجهی داشته اند. این جلد شامل نتایج نظری و توضیحات کلی و خطوط کلی منطقی برخی از سیستم های عملی است.
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.
دانلود کتاب «علوم کامپیوتر بالتیک: مقالات منتخب»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.