Descripción:
Springer, 2007-11-09. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments.Except for library markings, interior clean and unmarked. Tight binding.
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays Tapa blanda - 2007
de Cliff B. Jones (Editor); Zhiming Liu (Editor); Jim Woodcock (Editor)
Detalles
- 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
- Autor Cliff B. Jones (Editor); Zhiming Liu (Editor); Jim Woodcock (Editor)
- Encuadernación Tapa blanda
- Edición 1st
- Páginas 542
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación 2007-09-06
- Ilustrado Sí
- Features Bibliography, Illustrated, Index
- ISBN 9783540752202 / 354075220X
- Peso 1.71 libras (0.78 kg)
- Dimensiones 9.21 x 6.14 x 1.14 pulgadas (23.39 x 15.60 x 2.90 cm)
- Número de catálogo de la Librería del Congreso de EEUU 2007935177
- Dewey Decimal Code 004.33
Más ejemplares
Foto de archivo: la portada puede ser diferente
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)
de Jones, Cliff [Editor]; Liu, Zhiming [Editor]; Woodcock, Jim [Editor];
- Usado
- very good
- Tapa blanda
- Estado
- Usado - Very Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 40.68EUR 5.66 enviando a USA
Mostrar detalles
Precio
EUR 40.68
EUR 5.66
enviando a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
- Usado
- good
- Tapa blanda
- Estado
- Usado - Good
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 1
- Librería
-
Seattle, Washington, United States
- Precio
-
EUR 45.28Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 2007. Paperback. Good. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Precio
EUR 45.28
Envío gratuito a USA
Foto de archivo: la portada puede ser diferente
Formal Methods And Hybrid Real-time Systems: Essays In Honour Of Dines Bjorner And Zhou Chaochen On The Occasion Of Their 70th Birthdays
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220x
- Cantidad disponible
- 1
- Librería
-
New Delhi, India
- Precio
-
EUR 45.46EUR 4.72 enviando a USA
Mostrar detalles
Descripción:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Precio
EUR 45.46
EUR 4.72
enviando a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
de Cliff B. Jones
- Nuevo
- Estado
- New
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220x
- Cantidad disponible
- 204
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 62.94EUR 9.47 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays.
Precio
EUR 62.94
EUR 9.47
enviando a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems
- Usado
- Estado
- Used
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 1
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 55.06EUR 3.77 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 562 . Papeback. Used.
Precio
EUR 55.06
EUR 3.77
enviando a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
de Cliff B. Jones
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220x
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 71.37EUR 11.79 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. 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.
Precio
EUR 71.37
EUR 11.79
enviando a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
de Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 73.89EUR 11.85 enviando a USA
Mostrar detalles
Descripción:
Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 539 pages. 9.00x5.75x1.25 inches.
Precio
EUR 73.89
EUR 11.85
enviando a USA
Foto de archivo: la portada puede ser diferente
FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS: ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH BIRTHDAYS
de CLIFF B. JONES, ZHIMING LIU, JIM WOODCOCK,
- Nuevo
- Tapa blanda
- First
- Estado
- New
- Edición
- 1st
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220x
- Cantidad disponible
- 5
- Librería
-
New Delhi, India
- Precio
-
EUR 68.97EUR 9.45 enviando a USA
Mostrar detalles
Descripción:
Springer, 2007. 1st. Paperback. New/New.
Precio
EUR 68.97
EUR 9.45
enviando a USA
Foto de archivo: la portada puede ser diferente
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)
de Cliff B. Jones (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor)
- Usado
- Tapa blanda
- Estado
- Used:Good
- Edición
- 2007
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 1
- Librería
-
HOUSTON, Texas, United States
- Precio
-
EUR 87.77Envío gratuito a USA
Mostrar detalles
Descripción:
Springer, 2007-11-09. 2007. Paperback. Used:Good.
Precio
EUR 87.77
Envío gratuito a USA
Foto de archivo: la portada puede ser diferente
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science, 4700)
de Jones, Cliff B. [Editor]; Liu, Zhiming [Editor]; Woodcock, Jim [Editor];
- Nuevo
- Tapa blanda
- Estado
- New
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540752202 / 354075220X
- Cantidad disponible
- 5
- Librería
-
campbelltown, Florida, United States
- Precio
-
EUR 171.01EUR 14.17 enviando a USA
Mostrar detalles
Descripción:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Precio
EUR 171.01
EUR 14.17
enviando a USA