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:
Online Access:Table of contents

Similar Items