004.0151 / H975l2
Huth, Michael
Logic in computer science : modelling and reasoning about systems [2nd ed.] / Michael Huth and Mark Ryan .- 2nd ed. .- Cambridge: Cambridge University Press, 2011 .- xiv, 427p .
ISBN: 9780521670890
Subject Headings:
Computer logic;
Author Added Entry:
Ryan, Mark;
Copy Details:
Acc. No.: A175244, Full Call No.: 004.0151 H975l2 cop.6, (Copy 6) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175243, Full Call No.: 004.0151 H975l2 cop.5, (Copy 5) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175242, Full Call No.: 004.0151 H975l2 cop.4, (Copy 4) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175241, Full Call No.: 004.0151 H975l2 cop.3, (Copy 3) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175240, Full Call No.: 004.0151 H975l2 cop.2, (Copy 2) Item type: Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175239, Full Call No.: 004.0151 H975l2 cop.1, (Copy 1) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Huth, Michael
Logic in computer science : modelling and reasoning about systems [2nd ed.] / Michael Huth and Mark Ryan .- 2nd ed. .- Cambridge: Cambridge University Press, 2011 .- xiv, 427p .
ISBN: 9780521670890
Subject Headings:
Computer logic;
Author Added Entry:
Ryan, Mark;
Copy Details:
Acc. No.: A175244, Full Call No.: 004.0151 H975l2 cop.6, (Copy 6) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175243, Full Call No.: 004.0151 H975l2 cop.5, (Copy 5) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175242, Full Call No.: 004.0151 H975l2 cop.4, (Copy 4) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175241, Full Call No.: 004.0151 H975l2 cop.3, (Copy 3) Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175240, Full Call No.: 004.0151 H975l2 cop.2, (Copy 2) Item type: Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Acc. No.: A175239, Full Call No.: 004.0151 H975l2 cop.1, (Copy 1) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------