Formal Methods - An Appetizer

نویسنده: Flemming Nielson سال انتشار: 2019 تعداد صفحات: 170 زبان فایل: انگلیسی فرمت فایل: pdf حجم فایل: 2MB رمز فایل: www.ketabdownload.com قیمت: 150,000ريال افزودن به سبد دانلود توضیحات بیشتر

Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

نویسنده: Flemming Nielson سال انتشار: 2019 تعداد صفحات: 258 زبان فایل: انگلیسی فرمت فایل: pdf حجم فایل: 5MB رمز فایل: www.ketabdownload.com قیمت: 150,000ريال افزودن به سبد دانلود توضیحات بیشتر

Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

نویسنده: Christian W. Probst, Chris Hankin, Rene Rydhof Hansen سال انتشار: 2016 تعداد صفحات: 353 زبان فایل: انگلیسی فرمت فایل: pdf حجم فایل: 7.5MB رمز فایل: www.ketabdownload.com قیمت: 150,000ريال افزودن به سبد دانلود توضیحات بیشتر

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010 Paphos, Cyprus, March 27-28, 2010 Revised Selected Papers

نویسنده: Alessandro Armando, Gavin Lowe سال انتشار: 2010 تعداد صفحات: 193 زبان فایل: انگلیسی فرمت فایل: pdf حجم فایل: 2.5MB رمز فایل: www.ketabdownload.com قیمت: 100,000ريال افزودن به سبد دانلود توضیحات بیشتر