Tools and algorithms for the construction and analysis of systems [electronic resource] by Orna Grumberg and Michael Huth
Material type: BookPublication details: Berlin Heidelberg 2007ISBN:- 9783540712091
- 005.12 (e-book)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E-BOOKS | JRD Tata Memorial Library | 005.12 (e-book) (Browse shelf(Opens below)) | Available | E10286 |
There are no comments on this title.