T�tulo: Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
Editor: Springer
Fecha de publicaci�n: 2007
Idioma: Ingl�s
ISBN 10: 354075220X
ISBN 13: 9783540752202
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: Brand New

Acerca de

Sinopsis

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Condiciones de env�o

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Informaci�n detallada sobre el vendedor