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 Հասանելի է  Տեղադրեք պահում

Նմանատիպ նյութեր