Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays

Contributor(s): | Jones, Cliff B | Jones, Cliff BLanguage: 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 processing
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
Compact Storage - Basement Area 		681.3For Available G53B19 215485
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha