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: | |
|---|---|
| Other Authors: | , , , , |
| 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: |
| Item Description: | Papers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing |
|---|---|
| Physical Description: | xvi, 538 p. : ill |
| Bibliography: | Includes bibliographical references and index |
| ISSN: | 0302-9743. Festschrift |