Importe total (1 artículo artículos):
Destino del pedido:
modeling verification real time systems (41 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (41)
- 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 (29)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (6)
- 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
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 (14)
- No impresión bajo demanda (35)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Publicado por Kluwer Academic Publishers, 2000
ISBN 10: 0792377370 ISBN 13: 9780792377375
Idioma: Inglés
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 5,32
Convertir monedaEUR 10,48 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780792377375.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 71,86
Convertir monedaEUR 11,51 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.79.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems Thoen, Filip and Catthoor, Francky
Librería: CONTINENTAL MEDIA & BEYOND, Ocala, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,44
Convertir monedaEUR 32,54 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Used: Good. xlibrary copy 2000 hardcover no dj as issued withdrawn stamp in book/ on edge of pages clean crisp pages Kluwer Academic Publ. 438 pages::: K-8.
-
Modeling and Verification of Real-Time Systems
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 92,28
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 82,00
Convertir monedaEUR 20,52 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 34,28
Convertir monedaEUR 92,49 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 136,16
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 165,83
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 165,83
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 159,29
Convertir monedaEUR 17,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Publicado por Springer US, Springer New York, 2012
ISBN 10: 1461369983 ISBN 13: 9781461369981
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 164,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 165,82
Convertir monedaEUR 17,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 178,14
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.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 196,59
Convertir monedaEUR 9,85 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 458.
-
Modeling and Verification of Real-Time Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 196,17
Convertir monedaEUR 17,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 9 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 213,53
Convertir monedaEUR 9,85 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. xv + 438.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 157,86
Convertir monedaEUR 64,23 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 158,11
Convertir monedaEUR 64,23 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 234,31
Convertir monedaEUR 11,56 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 454 pages. 9.45x6.30x1.03 inches. In Stock.
-
Modeling and Verification of Real-Time Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 228,83
Convertir monedaEUR 17,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 9 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-time Systems Format: Hardcover
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 198,51
Convertir monedaEUR 51,38 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Modeling and Verification of Real-Time Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 233,90
Convertir monedaEUR 17,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: 9 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-Time Systems
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 236,67
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 244,16
Convertir monedaEUR 17,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 234,65
Convertir monedaEUR 28,91 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 247,94
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware - system is a complex object containing a significant percentage of elec A tronics that interacts with the Real World (physical environments, humans, etc. ) through sensing and actuating devices. A system is heterogeneous, i. e. , is characterized by the co-existence of a large number of components of disparate type and function (for example, programmable components such as micro processors and Digital Signal Processors (DSPs), analog components such as AID and D/A converters, sensors, transmitters and receivers). Any approach to system design today must include software concerns to be viable. In fact, it is now common knowledge that more than 70% of the development cost for complex systems such as automotive electronics and communication systems are due to software development. In addition, this percentage is increasing constantly. It has been my take for years that the so-called hardware-software co-design problem is formulated at a too low level to yield significant results in shorten ing design time to the point needed for next generation electronic devices and systems. The level of abstraction has to be raised to the Architecture-Function co-design problem, where Function refers to the operations that the system is supposed to carry out and Architecture is the set of supporting components for that functionality. The supporting components as we said above are heteroge neous and contain almost always programmable components.
-
Modeling and Verification of Real-Time Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 258,61
Convertir monedaEUR 17,35 gastos de envío desde Reino Unido a EspañaCantidad disponible: 9 disponibles
Añadir al carritoCondición: New.
-
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 269,13
Convertir monedaEUR 17,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Publicado por ISTE Ltd and John Wiley & Sons Inc, 2008
ISBN 10: 1848210132 ISBN 13: 9781848210134
Idioma: Inglés
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 277,05
Convertir monedaEUR 2,00 gastos de envío desde Irlanda a EspañaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. Editor(s): Merz, Stephan; Navet, Nicolas. Series: ISTE. Num Pages: 448 pages, Illustrations. BIC Classification: UYD. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 241 x 163 x 26. Weight in Grams: 720. . 2008. 1st Edition. Hardcover. . . . .
-
Modeling and Verification of Real-time Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 261,07
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. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testin.
