Logic in computer science: modelling and reasoning about systems - 2nd ed.
Publication details: Delhi: Cambridge University Press; 2016Description: xiv, 427 p. 23 cmISBN:- 9780521670890(pb)
- 005.101 HUT-RYA
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Goa University Library General Stacks | 005.101 HUT-RYA (Browse shelf(Opens below)) | Available | 167526 |
Browsing Goa University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.1 VLI/Sof Software engineering : Principles and practice | 005.1 WAL/Emb Embedded software : | 005.1 YUA/Bui Building blockchain apps | 005.101 HUT-RYA Logic in computer science: modelling and reasoning about systems - 2nd ed. | 005.1023 SON/Sof Soft Skills: The Software Developer's Life Manual | 005.1068 TSU/Man Managing software projects | 005.10684 HAM-TIM Fundamentals of software integration |
There are no comments on this title.
Log in to your account to post a comment.