Principles of model checking

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Baier, Christel
অন্যান্য লেখক:	Katoen, Joost-Pieter
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Cambridge, Mass. MIT Press [2008?]
বিষয়গুলি:	Computer systems > Verification. Computer software > Verification.
অনলাইন ব্যবহার করুন:	Table of contents only