portada The Temporal Logic of Reactive and Concurrent Systems: Specification (en Inglés)

The Temporal Logic of Reactive and Concurrent Systems: Specification (en Inglés)

Formato

Libro Físico

Autor

Zohar Manna

Amir Pnueli

Editorial

Springer

Idioma

Inglés

N° páginas

427

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x2.3 cm

Peso

0.62 kg.

ISBN13

9781461269502

Categorías

Hardware de redes
Programación informática/desarrollo de software
Sistemas expertos/sistemas basados en el conocimiento

The Temporal Logic of Reactive and Concurrent Systems: Specification (en Inglés)

Zohar Manna (Autor) · Amir Pnueli (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 108.24$ 54.12

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 54.12

Llega entre el 16 Sep y el 29 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "The Temporal Logic of Reactive and Concurrent Systems: Specification (en Inglés)"

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.