004.24 / B149p
Baier, Christel
Principles of model checking / Christel Baier and Joost-Pieter Katoen .- Cambridge: The Mit Press, 2008 .- xvii, 975p .
Subject Headings:
Computer systems -- Verification;
Author Added Entry:
Katoen, Joost-Pieter;
Copy Details:
Acc. No.: A171718, Full Call No.: 004.24 B149p, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Baier, Christel
Principles of model checking / Christel Baier and Joost-Pieter Katoen .- Cambridge: The Mit Press, 2008 .- xvii, 975p .
Subject Headings:
Computer systems -- Verification;
Author Added Entry:
Katoen, Joost-Pieter;
Copy Details:
Acc. No.: A171718, Full Call No.: 004.24 B149p, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------