Formal Methods for Trustworthy Computer Systems (FM89) : Report from FM89: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2013
نویسنده
Dan Craigen; Karen Summerskillشابک
9781447135326
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران