formal
نظریه سیستم های رسمی
دانلود کتاب Theory of formal systems (به فارسی: نظریه سیستم های رسمی) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب نظریه سیستم های رسمی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Princeton University Press نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1961 تعداد صفحه: 156 حجم کتاب: 2 مگابایت کد کتاب: 9780691080475 , 069108047X دانلود کتاب «نظریه سیستم های رسمی»
در مبانی هندسه و نظریه های رسمی حساب
دانلود کتاب On the foundations of geometry and formal theories of arithmetic (به فارسی: در مبانی هندسه و نظریه های رسمی حساب) نوشته شده توسط «Gottlob Frege – E-.H.W. Kluge» اطلاعات کتاب در مبانی هندسه و نظریه های رسمی حساب موضوع اصلی: هندسه و توپولوژی نوع: کتاب الکترونیکی ناشر: Yale University Press نویسنده: Gottlob Frege – E-.H.W. Kluge زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1971 تعداد صفحه: 205 حجم کتاب: 2 مگابایت کد کتاب: 0300013930 , 9780300013931 دانلود کتاب «در مبانی هندسه و نظریه های رسمی حساب»
سیستم های رسمی و توابع بازگشتی (Colloquium منطقی ’63)
دانلود کتاب Formal Systems and Recursive Functions (Logic Colloquium’63) (به فارسی: سیستم های رسمی و توابع بازگشتی (Colloquium منطقی ’63)) نوشته شده توسط «Crossley J.N. – Dummett M.A.E. (eds.)» اطلاعات کتاب سیستم های رسمی و توابع بازگشتی (Colloquium منطقی ’63) موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: NH نویسنده: Crossley J.N. – Dummett M.A.E. (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1965 تعداد صفحه: 321 حجم کتاب: 2 مگابایت کد کتاب: 0444534059 , 9780444534057 دانلود کتاب «سیستم های رسمی و توابع بازگشتی (Colloquium منطقی ’63)»
برنامه نویسی کامپیوتر و سیستم های رسمی
دانلود کتاب Computer programming and formal systems (به فارسی: برنامه نویسی کامپیوتر و سیستم های رسمی) نوشته شده توسط «Braffort P. – Hirschberg D.» اطلاعات کتاب برنامه نویسی کامپیوتر و سیستم های رسمی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: North-Holland Pub. Co. نویسنده: Braffort P. – Hirschberg D. زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1963 تعداد صفحه: 165 حجم کتاب: 1 مگابایت کد کتاب: 0444534008 , 9780444534002 دانلود کتاب «برنامه نویسی کامپیوتر و سیستم های رسمی»
منطق رسمی باستانی
دانلود کتاب Ancient Formal Logic (به فارسی: منطق رسمی باستانی) نوشته شده توسط «Vyacheslav L. Girko» اطلاعات کتاب منطق رسمی باستانی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: NH نویسنده: Vyacheslav L. Girko زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1951 تعداد صفحه: 128 حجم کتاب: 1 مگابایت کد کتاب: 0444533672 , 9780444533678 دانلود کتاب «منطق رسمی باستانی»
مشخصات رسمی و مستندات با استفاده از Z: رویکرد مطالعه موردی
دانلود کتاب Formal Specification and Documentation Using Z: A Case Study Approach (به فارسی: مشخصات رسمی و مستندات با استفاده از Z: رویکرد مطالعه موردی) نوشته شده توسط «Jonathan Bowen» اطلاعات کتاب مشخصات رسمی و مستندات با استفاده از Z: رویکرد مطالعه موردی موضوع اصلی: برنامه نویسی: زبان های برنامه نویسی نوع: کتاب الکترونیکی ناشر: Intl Thomson Computer Pr (Sd) نویسنده: Jonathan Bowen زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 315 حجم کتاب: 1 مگابایت کد کتاب: 1850322309 , 9781850322306 دانلود کتاب «مشخصات رسمی و مستندات با استفاده از Z: رویکرد…
فناوری عامل از دیدگاه رسمی (نمونه نگاری های ناسا در مهندسی سیستم ها و نرم افزار)
دانلود کتاب Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) (به فارسی: فناوری عامل از دیدگاه رسمی (نمونه نگاری های ناسا در مهندسی سیستم ها و نرم افزار)) نوشته شده توسط «Karin Breitman – Marco Antonio Casanova – Walt Truszkowski» اطلاعات کتاب فناوری عامل از دیدگاه رسمی (نمونه نگاری های ناسا در مهندسی سیستم ها و نرم افزار) موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Karin Breitman – Marco Antonio Casanova – Walt Truszkowski زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 328 حجم…
تکنیک های مقیاس پذیر برای تأیید رسمی
دانلود کتاب Scalable Techniques for Formal Verification (به فارسی: تکنیک های مقیاس پذیر برای تأیید رسمی) نوشته شده توسط «Sandip Ray (auth.)» اطلاعات کتاب تکنیک های مقیاس پذیر برای تأیید رسمی موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Springer US نویسنده: Sandip Ray (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 243 حجم کتاب: 3 مگابایت کد کتاب: 1441959971 , 9781441959973 نوبت چاپ: 1 توضیحات کتاب تکنیک های مقیاس پذیر برای تأیید رسمی این کتاب در مورد تأیید رسمی است، یعنی استفاده از استدلال ریاضی برای اطمینان از اجرای صحیح سیستم‌های…
نظریه بازگشت ابتدایی و کاربردهای آن در سیستم های رسمی
دانلود کتاب Elementary Recursion Theory and its Applications to Formal Systems (به فارسی: نظریه بازگشت ابتدایی و کاربردهای آن در سیستم های رسمی) نوشته شده توسط «Kripke – Saul » اطلاعات کتاب نظریه بازگشت ابتدایی و کاربردهای آن در سیستم های رسمی موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Princeton نویسنده: Kripke – Saul زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 191 حجم کتاب: 1 مگابایت دانلود کتاب «نظریه بازگشت ابتدایی و کاربردهای آن در سیستم های رسمی»
Involution: نظریه صوری معادلات دیفرانسیل و کاربردهای آن در جبر رایانه ای
دانلود کتاب Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (به فارسی: Involution: نظریه صوری معادلات دیفرانسیل و کاربردهای آن در جبر رایانه ای) نوشته شده توسط «Werner M. Seiler (auth.)» اطلاعات کتاب Involution: نظریه صوری معادلات دیفرانسیل و کاربردهای آن در جبر رایانه ای موضوع اصلی: معادلات دیفرانسیل نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Werner M. Seiler (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 650 حجم کتاب: 5 مگابایت کد کتاب: 9783642012860 , 9783642012877 , 3642012868 , 3642012876 نوبت چاپ: 1 توضیحات…