Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds).

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
Other Authors: Bjorner, D.( 1937-), Zhou, Chaochen( 1937-)
Language:English
Published: Berlin ; New York: Springer, c2007.
Series:LNCS sublibrary.
Subjects:
Chaochen, Zhou
Bjorner, D., > 1937-. > (Dines)
Online Access:http://www.loc.gov/catdir/toc/fy0803/2007935177.html

Internet

http://www.loc.gov/catdir/toc/fy0803/2007935177.html

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