Importe total (1 artículo artículos):
Destino del pedido:
specification modelling verification runtime de logothetis georgios (10 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (10)
- 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
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (10)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- 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 (5)
- No impresión bajo demanda (6)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45
- Más de EUR 45
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 35,98
Convertir monedaEUR 17,25 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,05
Convertir monedaEUR 17,27 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 39,58
Convertir monedaEUR 17,14 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Publicado por IOS Press, Incorporated, 2004
ISBN 10: 1586034138 ISBN 13: 9781586034139
Idioma: Inglés
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 100,69
Convertir monedaEUR 9,86 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 202.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 101,95
Convertir monedaEUR 17,27 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.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 122,55
Convertir monedaEUR 17,14 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.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,21
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-time systems. New sophisticated methods allow a formally verifiable design, development and realization of real-time systems directly out of synchronous languages. This enables for the first time a bridging between industrial real-time descriptions and formal real-time verification. Timed Kripke structures are introduced as formal models, in order to allow abstractions in real-time systems, without loss of quantitative properties. The ability of modeling non-interruptible processes and atomic timed actions enables also the low-level verification of real-time systems. The new temporal logic JCTL has been developed as a real-time extension of the widely used logic CTL. Overcoming the problems of other real-time logics, JCTL is directly defined on timed Kripke structures and allows the use of established symbolic techniques. In contrast to other approaches, these methods enable the direct generation of a final formal model without parallel composition of single sub-models, avoiding several known problems, like state space explosion, or deadlocks and timelocks. An exact and detailed low-level runtime analysis is introduced, which in combination with the modeling capabilities of timed Kripke structures enables for the first time the low-level verification of real-time systems.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 75,04
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. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisMedical Informatics, Telematics 1 NATO: Life and Behavioural Sciences 3 Cancer 4 Artificial Intelligence 5 Computer Science, Applications 6 NATO: Science and Technology Policy 7 Electronics, Mechanics 8 Physics 9.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Publicado por IOS Press, Incorporated, 2004
ISBN 10: 1586034138 ISBN 13: 9781586034139
Idioma: Inglés
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 104,41
Convertir monedaEUR 10,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 202 25:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on White w/Gloss Lam.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Publicado por IOS Press, Incorporated, 2004
ISBN 10: 1586034138 ISBN 13: 9781586034139
Idioma: Inglés
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 107,48
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 202.
