Formal Methods and Hybrid Real-Time Systems Theoretical Computer Science and General Issues

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

2007th edition

Paperback (06 Sep 2007)

  • $63.93
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN: 9783540752202
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2007th edition
Language: English
Number of pages: 542
Weight: 848g
Height: 234mm
Width: 156mm
Spine width: 28mm