توضیحات
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics.
————————————————————–
ترجمه ماشینی :
این جلد Festschrift که به مناسبت هفتادمین سالگرد تولد او در سپتامبر 2013 به He Jifeng تقدیم شده است، شامل 24 مقاله داوری شده توسط محققان برجسته، همکاران فعلی و سابق است که در سمپوزیوم جشنی که در شانگهای، چین در دوره دهم برگزار شد، تبریک گفتند. کنفرانس بینالمللی جنبههای نظری محاسبات، ICTAC 2013. این مقالات طیف گستردهای از موضوعات، از موضوعات بنیادی و نظری گرفته تا برنامهها و مسائل سیستمها و برنامهها، شامل روشهای رسمی، مدلسازی نرمافزار و سیستمها، معناشناسی، قوانین برنامهنویسی، مشخصات را پوشش میدهد. و تایید، و همچنین منطق.
tag : دانلود کتاب نظریه های برنامه نویسی و روش های رسمی , Download نظریه های برنامه نویسی و روش های رسمی , دانلود نظریه های برنامه نویسی و روش های رسمی , Download Theories of Programming and Formal Methods Book , نظریه های برنامه نویسی و روش های رسمی دانلود , buy نظریه های برنامه نویسی و روش های رسمی , خرید کتاب نظریه های برنامه نویسی و روش های رسمی , دانلود کتاب Theories of Programming and Formal Methods , کتاب Theories of Programming and Formal Methods , دانلود Theories of Programming and Formal Methods , خرید Theories of Programming and Formal Methods , خرید کتاب Theories of Programming and Formal Methods ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.