Artículos relacionados a The Temporal Logic of Reactive and Concurrent Systems...
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.
- EditorialSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Año de publicación1992
- ISBN 10 3540976647
- ISBN 13 9783540976646
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas441
- Contacto del fabricanteno disponible
(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
