Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays
Language: English Series: Lecture notes in computer science ; v.4700Publication details: Berlin ; Springer ; 2007Edition: Description: xvi,539 p; 23.5 cmISBN: 978-3-540-75220-2Subject(s): | Computer Science and Engineering | Formal methods(Computer science) , Real-time data processing , Computer architecture , Mathematics-Data processingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3For | Available | G53B19 | 215485 |
Total holds: 0
There are no comments on this title.