Artículos relacionados a The Temporal Logic of Reactive and Concurrent Systems...

The Temporal Logic of Reactive and Concurrent Systems Specification - Tapa dura

 
9783540976646: The Temporal Logic of Reactive and Concurrent Systems Specification

Esta edición ISBN ya no está disponible.

Sinopsis

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems and control systems. These are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first of two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors.

"Sobre este título" puede pertenecer a otra edición de este libro.

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9780387976648: The Temporal Logic of Reactive and Concurrent Systems: Specification

Edición Destacada

ISBN 10:  0387976647 ISBN 13:  9780387976648
Editorial: Springer, 1991
Tapa dura