Formal methods in computer science
Material type:
TextLanguage: English Series: Textbooks in Mathematics | Boggess, AIPublication details: Boca Raton CRC Press 2020Description: xvii, 294pISBN: - 9781498775328
- 004.01 W1841f
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
REF
|
Central Library Reference | Computer Science | 004.01 W1841f (Browse shelf(Opens below)) | Available | 21068 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
| 004 F3561t Trusted computing | 004 G9591p Pervasive computing | 004 W2194b Big data glossary | 004.01 W1841f Formal methods in computer science | 004.0148 Ag15g Glossary of It terms | 004.0151 Or312g Guide to discrete mathematics | 004.019 P5808a Affective computing |
There are no comments on this title.
Log in to your account to post a comment.