Formal Methods and Hybrid Real-Time Systems
Sold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since November 22, 2018
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: 1 available
Add to basketSold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since November 22, 2018
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.
We accept return for those books which are received damaged. Though we take appropriate care in packing to avoid such situation.
| Order quantity | 12 to 19 business days | 12 to 14 business days |
|---|---|---|
| First item | US$ 3.99 | US$ 6.99 |
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.