Specifying software A hands-on introduction
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/npl/Rare-Book.gif)
Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 TEN (Browse shelf (Opens below)) | Available | 67697 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
681.3 TAM Graph algorithms and applications I | 681.3 TAY Models of Computation and Formal Languages | 681.3 TEL Introduction to Distributed Algorithms | 681.3 TEN Specifying software | 681.3 TEN Theoretical aspects of Rationality and knowledge (TARK 2003) | 681.3 TER Term rewriting systems | 681.3 TEU Alan Turing |
There are no comments on this title.