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

Նկարագրություն
Ֆիզիկական նկարագրություն:	xii, 596 p. : ill. ; 25 cm.
Մատենագիտություն:	Includes bibliographical references and index.
ISBN:	0321228626 (hardback) 9780321228628

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