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

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια