Model checking
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.
Kategoriler:
Yıl:
1999
Yayımcı:
MIT Press
Dil:
english
Sayfalar:
326
ISBN 10:
0585385580
ISBN 13:
9780585385587
Dosya:
DJVU, 1.88 MB
IPFS:
,
english, 1999