Delete |
Logic in Computer Science: Modelling and Reasoning about Systems [Buy it!] | Michael Huth | USD 164.12 (Mon Jun 3 07:46:08 2024) | Abebooks | Kennys 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] |