Home Book reviews Contact
  Used Book Memo   AddALL Saved Search  
DELETEAsc
TITLE
Desc
Asc
AUTHOR
Desc
Asc
PRICE
Desc
Asc
SITE
Desc
Asc
DEALER
Desc
DESCRIPTION
Delete
Logic in Computer Science: Modelling and Reasoning about Systems
[Buy it!]
Michael HuthUSD 164.12
(Mon Jun 3 07:46:08 2024)
AbebooksKennys Bookshop and Art Galleries Ltd. ISBN10: 052154310X, ISBN13: 9780521543101, [publisher: Cambridge University Press] Softcover 2004. 2nd Edition. Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768. . . . . .
[Galway, GY, Ireland] [Publication Year: 2004]

Please keep this Memo ID in case you need to restore the lost memo later:
Your Memo ID: XZCUWJOKAHNXBYBSVXXYRQOCEDGYJKTWBITZTILU

 

You have 1 record in your Memo.
Use this Memo to jot down the deals you've found while you go on to look for more or better deals!