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

Ayesha Abed Library: General Shelf

פרטי מלאי ספרים מ Ayesha Abed Library: General Shelf
סימן המיקום: 620.001171 HOL
עותק 1 זמין  ביצוע הזמנה
עותק 2 זמין  ביצוע הזמנה

פריטים דומים