Importe total (1 artículo artículos):
Destino del pedido:
9780521883337 - Real-Time Systems Hardback: Formal Specification and Automatic Verification de Olderog; Dierks (20 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (20)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (18)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (20)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (2)
- No impresión bajo demanda (15)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 17,01
Envío por EUR 6,48
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 29,90
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Real-Time Systems
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 52,54
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320.
-
Real-Time Systems
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 48,53
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320 Illus.
-
Real-Time Systems
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 47,98
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320.
-
Real-Time Systems: Formal Specification And Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 69,47
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 69,47
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,52
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 117,11
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 111,76
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 122,22
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . .
-
Edición internacionalREAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)
Idioma: Inglés
Publicado por CAMBRIDGE UNIVERSITY PRESS, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 152,42
Envío por EUR 6,93
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 153,13
Envío por EUR 9,04
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
-
Real-Time Systems: Formal Specification and Automatic Verification
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 156,90
Envío por EUR 14,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
-
Real-Time Systems
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 129,81
Envío por EUR 63,82
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.
-
Real-Time Systems (Hardcover)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición Impresión bajo demanda
EUR 125,55
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Real-Time Systems: Formal Specification and Automatic Verification
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,15
Envío por EUR 14,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock. This item is printed on demand.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 118,63
Envío por EUR 22,15
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Real-Time Systems (Hardcover)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición Impresión bajo demanda
EUR 120,31
Envío por EUR 42,79
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, timed automata, and PLC-automata. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Real-Time Systems: Formal Specification and Automatic Verification
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 115,03
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces three of these methods: duration calculus, time.
