Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.

N� de ref. del art�culo UTD-141216070

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

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 (Lecture . Computer Science and General Issues)
Editor: Springer
Fecha de publicaci�n: 2007
Idioma: Ingl�s
ISBN 10: 354075220X
ISBN 13: 9783540752202
Encuadernaci�n: Paperback
Estado: Very Good

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

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

GuthrieBooks
TX, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

At this time we accept payment through Visa or Mastercard.

Condiciones de env�o

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.