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

مواد مشابهة