The spin model checker : primer and reference manual /

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

مواد مشابهة

مواد مشابهة