Formal methods and hybrid real-time systems : essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays - Jones, C. B. (Cliff B.), 1944-; Liu, Zhiming, 1961-; Woodcock, Jim, 1956- (Berlin : Springer, 2007)
Keywords: hybridní počítače; zpracování dat; data processing; hybrid computers