به سمت سیستم های تأیید شده
Towards Verified Systems
نویسنده: Jonathan Bowen (Eds.)
ناشر: Elsevier Science Ltd
سال انتشار: 1994
تعداد صفحات: 292
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت
توضیحی برای این کتاب ثبت نشده است.