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

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

Bibliographic Details
Main Authors: Bjorner, D. (Dines) 1937- (Author), Zhou, Chaochen 1937- (Author)
Format: Book
Language:English
Published: Berlin ; New York Springer c2007
Series:LNCS sublibrary. Theoretical computer science and general issues
Subjects:
Bjorner, D. > (Dines) > 1937-
Chaochen, Zhou
Online Access:Table of contents

Similar Items

Similar Items