Titel: Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Verlag: Springer
Ver�ffentlichungsdatum: 2007
Sprache: Englisch
ISBN-10: 354075220X
ISBN-13: 9783540752202
Bindung: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

This 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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We sell textbooks to students at very affordable prices. All books are brand new, satisfaction guaranteed.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Romtrade Corp.
39137 BYERS DR., STERLING HEIGHTS, MI, 48310, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about
a book that you've ordered, please use the Ask bookseller a question link to
contact us and we'll respond within 2 business days. The contact persons name is
Constantin Marandici and the m...

Mehr Information

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We use USPS, DHL and ARAMEX for shipping.