Importe total (1 artículo artículos):
Destino del pedido:
9780521883337 - Real-Time Systems Hardback: Formal Specification and Automatic Verification de Olderog; Dierks (25 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (25)
- 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 (23)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (2)
- 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 (25)
- 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 (22)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 3,70
Convertir monedaEUR 6,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 6,25
Convertir monedaEUR 6,89 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Real-Time Systems Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,83
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad 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
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,43
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Real-Time Systems
Publicado por Cambridge University Press CUP, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 49,15
Convertir monedaEUR 9,93 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320.
-
Real-Time Systems
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 48,94
Convertir monedaEUR 10,16 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320 Illus.
-
Real-Time Systems: Formal Specification And Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,09
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad 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
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 49,84
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. xvi + 320.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,83
Convertir monedaEUR 25,91 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 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 (HB 2008)
Publicado por CAMBRIDGE UNIVERSITY PRESS, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,95
Convertir monedaEUR 6,32 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New! Fast Delivery US 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 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. 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 (HB 2008)
Publicado por CAMBRIDGE UNIVERSITY PRESS, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: URW Books Store, CASPER, WY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 74,78
Convertir monedaEUR 7,76 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States.
-
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,09
Convertir monedaEUR 25,91 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Excellent Customer Service.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 103,08
Convertir monedaEUR 5,16 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 112,08
Convertir monedaEUR 6,91 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 113,32
Convertir monedaEUR 6,32 gastos de envío desde Reino Unido a EspañaCantidad disponible: 3 disponibles
Añadir al carritoHardcover. Condición: New. Brand New! Fast Delivery US 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 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. 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
Librería: URW Books Store, CASPER, WY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 113,46
Convertir monedaEUR 7,76 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoHardcover. Condición: Brand New. Brand New! Fast Delivery, Delivery within 7-12 working Day Only, USA Edition Original Edition. Excellent Quality, Printing in English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States.
-
Real-Time Systems (Hardcover)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 112,96
Convertir monedaEUR 34,46 gastos de envío desde Reino Unido a EspañaCantidad 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. 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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 150,33
Convertir monedaEUR 11,49 gastos de envío desde Reino Unido a EspañaCantidad 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
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 146,68
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 99,24
Convertir monedaEUR 64,77 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Real-Time Systems (Hardcover)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 139,87
Convertir monedaEUR 31,95 gastos de envío desde Australia a EspañaCantidad 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Real-Time Systems (Hardcover)
Publicado por Cambridge University Press, Cambridge, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 119,75
Convertir monedaEUR 64,77 gastos de envío desde Estados Unidos de America a EspañaCantidad 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. 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 109,12
Convertir monedaEUR 11,49 gastos de envío desde Reino Unido a EspañaCantidad 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
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 112,34
Convertir monedaEUR 10,20 gastos de envío desde Reino Unido a EspañaCantidad 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 840.
-
Real-Time Systems: Formal Specification and Automatic Verification
Publicado por Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 100,35
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condició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.
