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
- ISBN 10
- 354075220X
- ISBN 13
- 9783540752202
- Librería
-
Exeter, Devon, United Kingdom
2 copias disponibles en esta librería
(Puedes añadir más en el área de pago.)
Formas de pago aceptadas
Sobre este artículo
Springer-Verlag New York Inc, 2007. Paperback. New. 1st edition. 539 pages. 9.00x5.75x1.25 inches.
Reseñas
(¡Iniciar sesión or Crear una cuenta primero!)
Detalles
- Librería
- Revaluation Books (GB)
- Inventario del vendedor #
- x-354075220X
- 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
- Jones, Cliff B. (Editor)/ Liu, Zhiming (Editor)/ Woodcock, Jim (Editor)
- Formato/Encuadernación
- Tapa blanda
- Estado del libro
- Nuevo New
- Cantidad disponible
- 2
- ISBN 10
- 354075220X
- ISBN 13
- 9783540752202
- Editorial
- Springer-Verlag New York Inc
- Fecha de publicación
- 2007
Términos de venta
Revaluation Books
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
Sobre el vendedor
Revaluation Books
Miembro de Biblio desde 2020
Exeter, Devon
Sobre Revaluation Books
General bookseller of both fiction and non-fiction.
Glosario
Algunos términos que podrían usarse en esta descripción incluyen:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...