Dynamic logic
By: Harel, D.
Material type: BookSeries: Foundations of computing series.Publisher: Cambridge; Massachusetts MIT Press 2000Description: xv, 459p.ISBN: 0-262-08289-6.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
004.015113 HAR (Browse shelf) | Available | 503185 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
004.0151 WAL Categories and Computer Science | 004.0151 XIW Introduction to theoretical computer science | 004.0151 YAN An introduction to formal languages and machine computation | 004.015113 HAR Dynamic logic | 004.015115 BRA Network Analysis: Methodological foundations | 004.015196 KAS Arithmetic optimization techniques for hardware and software design | 004.019 BOR (CR) A pattern approach to interaction design |
There are no comments for this item.