ESTE REGRESO A CLASES, ENCUENTRA MILLONES DE LIBROS CON DESCUENTO   Ver más

Enviar a
CUAUHTÉMOC, Ciudad de México
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada formal techniques in real-time and fault-tolerant systems (en Inglés)
formal techniques in real-time and fault-tolerant systems (en Inglés)formal techniques in real-time and fault-tolerant systems (en Inglés)formal techniques in real-time and fault-tolerant systems (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
229
ISBN
3540503021
ISBN13
9783540503026

formal techniques in real-time and fault-tolerant systems (en Inglés)

Libro Nuevo Importado
Envío: 14 a 19 días háb.
$ 1,870.65$ 935.33
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 935.33
¡Envío Gratis!  Llega entre el 22 Sep y el 30 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Reseña del libro "formal techniques in real-time and fault-tolerant systems (en Inglés)"

this is a collection of papers from the symposium on formal techniques in real-time and fault-tolerant systems held at the university of warwick on 22-23 september 1988. the papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. the volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes