ENGLISH

Model checking

By Edmund M. Clarke Jr. , Orna Grumberg , Doron A. Peled

Book information

Publisher
MIT Press
Year
1999
ISBN
0262032708, 9780262032704, 9780585385587
Open Library ID
OL9769008M
Language
english
Format
DJVU
Filesize
2 MB (1968475 bytes)
Pages
326\326
Topic
Computers
Library
Kolxo3
DPI
300
Scanned
yes
Time added
2009-07-20 03:45:11

Description

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.

Similar books