Jump to main content

yr 〜
yr

Search results 1

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays
Paper図書
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)Springerc2007
Other Libraries in Japan
  • Subject Heading... -- Congresses Bjørner, D. (Dines), 1937- -- Congresses Zhou, Chaochen, 1937- -- Cong...
  • Subject Heading (ID)... -- Congresses Bjørner, D. (Dines), 1937- -- Congresses Zhou, Chaochen, 1937- -- Cong...

Reached to the end of result.

RSS