The spin model checker : primer and reference manual /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Holzmann, Gerald J., 1951-
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Boston, MA : Addison-Wesley, c2004.
বিষয়গুলি:	Systems engineering > Mathematical models. Computer programs > Testing.
Classic Catalogue:	View this record in Classic Catalogue

অনুরূপ উপাদানগুলি