عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
oldebook9409
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Principles of model checking
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge, Mass. :
نام ناشر، پخش کننده و غيره
: The MIT Press,
تاریخ نشرو بخش و غیره
, 2008.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems ; Verification. ; Computer software ; Verification. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Pieter. ; -Baier, Christel. ; Katoen, Joost
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
