Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Corporate Author: | ProQuest (Firm) |
---|---|
Other Authors: | Bjørner, D (Dines), 1937-, Jones, C. B (Cliff B.), 1944-, Liu, Zhiming, 1961-, Woodcock, Jim, Zhou, Chaochen, 1937- |
Format: | Electronic Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2007
|
Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science Festschrift. Lecture notes in computer science 4700 |
Subjects: |
Similar Items
-
Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /
Published: (2007) -
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Published: (2007) -
Formal methods and hybrid real-time systems : essays in honour of Dines Bj��erner and Zhou Chaochen on the occasion of their 70th birthdays /
Published: (2007) -
Yang Chaochen shi tui wu jun ren de qi zhi
Published: (1944) -
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /
Published: (2004)