Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)

by Cliff B . Jones (Editor), JimWoodcock (Editor), ZhimingLiu (Editor)

• New

  Paperback
  2007

  $104.30

  The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007.