Name: Formal Techniques in Real-Time and Fault-Tolerant Systems (en Inglés)
Price: 749.14 PEN
Availability: InStock
Author: Vytopil, Jan
ISBN: 9781461364146

portada Formal Techniques in Real-Time and Fault-Tolerant Systems (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Vytopil, Jan

Idioma

Inglés

N° páginas

208

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.33 kg.

ISBN13

9781461364146

Categorías

Ciencia y análisis de datos
Ingeniería eléctrica
Análisis y captura de datos
Arquitectura y diseño lógico de ordenadores

Formal Techniques in Real-Time and Fault-Tolerant Systems (en Inglés)

Vytopil, Jan (Autor) · Springer · Tapa Blanda

Libro Nuevo

S/ 749,14

S/ 1.498,27

Ahorras: S/ 749,14

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Formal Techniques in Real-Time and Fault-Tolerant Systems (en Inglés)"

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-Tolerant Systems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ? Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.