|
|
1. |
|
Logic in computer science :
Publication:
Cambridge: Cambridge University P., 2004
. xiv, 427 p.
Date:2004
Availability:
Copies available:
Tain Campus
[QA76 .63 H87 2004]
(4),
Actions:
Add to cart (remove)
|
|
|
2. |
|
Logic in computer science :
Publication:
Cambridge : Cambridge University Press, 2004
. xiv, 427 p. :
Date:2004
Availability:
Copies available:
Turkeyen Campus
Science & Technology
[QA76.9 L63 H88 2004]
(10),
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
|
3. |
|
Logic in computer science:
Publication:
Cambridge, UK : Cambridge University Press, 2004
. xiv, 427 p.
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
No cover image available
No cover image available
|
|
4. |
|
Formal logical methods for system security and correctness
Publication:
Amsterdam, Netherlands ; | Washington, DC : IOS Press, 2008
. 1 online resource (ix, 318 p.) :
, "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--T.p. verso.
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
5. |
|
Dynamic logic
by Harel, David,
Publication:
Cambridge, Mass. : MIT Press, 2000
. 1 online resource (xv, 459 p.) :
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
6. |
|
Decision points
by Houghton, Janaye Matteson.
Publication:
Englewood, Colo. : Libraries Unlimited, 1999
. 1 online resource (viii, 155 p.) :
Date:1999
Availability:
No items available:
Actions:
Add to cart (remove)
|
|