004.21 / C55M
Clarke,Edmund M.,Grumberg,Orna
MODEL CHECKING
/
.- Mit Press, Cambridge, 2001
.- xiv,314 .
ISBN: 0262032708
Subject Headings:
Computer Systems -- Verification;
Author Added Entry:
Peled,Doron A.;
Copy Details:
Acc. No.: A140718, Full Call No.: 004.21 C55M, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------