Logic in computer science Huth Michael; Ryan Mark Modelling and reasoning about systems.
Material type:
TextLanguage: English Publication details: Cambridge Cambridge University Press 2004Edition: 2Description: xiv,427p. cmSubject(s): DDC classification: - D6,8(B)0bR1, P4
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
South Campus Library | South Campus Library | D6,8(B)0bR1 P4 (Browse shelf(Opens below)) | Available | SC1307930 |
Browsing South Campus Library shelves Close shelf browser (Hides shelf browser)
| D6,8(B)0bG N8 Bioinformatios. | D6,8(B)0bR1 P0 Dynamic logic | D6,8(B)0bR1 P4 Logic in computer science Modelling and reasoning about systems. | D6,8(B)0bR1 P4 Logic in computer science Modelling and reasoning about systems. | D6,8(B)0bR14 Q1 Q1;3 Essence of logic. | D6,8(B)0bR14 Q1 Q1;3 Essence of logic. | D6,8(B)0bR14 Q1 Q1;3 Essence of logic. |
There are no comments on this title.
Log in to your account to post a comment.