Formal Methods and Hybrid Real-Time Systems
Sold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Add to basketSold by Majestic Books, Hounslow, United Kingdom
AbeBooks Seller since January 19, 2007
Condition: New
Quantity: 1 available
Add to basketThis Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. 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. The papers cover a broad spectrum of subjects.
"About this title" may belong to another edition of this title.
Returns accepted if you are not satisfied with the Service or Book.
Best packaging and fast delivery
| Order quantity | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.73 | US$ 13.23 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.