Principles of model checking /

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Baier, Christel
مؤلفون آخرون: Katoen, Joost-Pieter
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge, Mass. : The MIT Press, [2012
الموضوعات:
Computer systems > Verification.
Computer software > Verification.
الوصول للمادة أونلاين:http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

الانترنت

http://www.loc.gov/catdir/toc/ecip0727/2007037603.html

DCS

تفاصيل المقتنيات من DCS
رقم الطلب: 51 BAI
النسخة الحالة المباشرة غير متاحة

مواد مشابهة