Limit search to available items
Book Cover

Title Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Published Berlin ; New York : Springer, [2007]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xvi, 538 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4700. Festschrift
LNCS sublibrary. SL1, Theoretical computer science and general issues
Lecture notes in computer science ; 4700
Lecture notes in computer science. Festschrift.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Notes 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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Bjørner, D. (Dines), 1937- -- Congresses.
Zhou, Chaochen, 1937- -- Congresses.
Formal methods (Computer science) -- Congresses.
Real-time data processing -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Bjørner, D. (Dines), 1937-
Zhou, Chaochen, 1937-
Jones, C. B. (Cliff B.), 1944-
Liu, Zhiming, 1961-
Woodcock, Jim.
LC no. 2007935177
ISBN 9783540752219