Formal methods in computer science
by
Wang, Jiacun
; Tepfenhart, William (jt. auth)
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/prog/images/filefind.png)
Item type | Location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books |
Central Library AIOU Islamabad
General Stacks
Allama Iqbal Open UniversityCentral Library |
004.0151 WAF (Browse shelf) | Available | 128533 |
Total holds: 0
Browsing Central Library AIOU Islamabad Shelves , Shelving location: General Stacks Close shelf browser
No cover image available |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
004.01 MOT The theory of computation | 004.0151 BAD Differential equations with maxima | 004.0151 JOP Probability and statistics for computer science | 004.0151 WAF Formal methods in computer science | 004.015194 JAA Applied numerical methods for digital computation | 004.019 HUM Human-computer interaction | 004.019 PRI Interaction design |
Eng
There are no comments for this item.