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

Internet

Table of contents

Tembila General Collection

Holdings details from Tembila General Collection
Call Number: QA76 9 F67 F52 2007
Accession Item Category Format Status Notes
1000119360 OPEN SHELF (30 DAYS) Book Available

Similar Items