The Temporal Logic of Reactive and Concurrent Systems

Manna Zohar Pnueli Amir

ISBN 10: 0387976647 ISBN 13: 9780387976648

Editorial: Springer, 1991

Idioma: Ingl�s

Condici�n: Usado Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Biblios, Frankfurt am main, HESSE, Alemania

Vendedor de AbeBooks desde 10 de septiembre de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Used

Precio: EUR 118,85 Convertir moneda

EUR 14,50 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. 448.

N� de ref. del art�culo 18290065

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: The Temporal Logic of Reactive and Concurrent Systems
Editor: Springer
Fecha de publicaci�n: 1991
Idioma: Ingl�s
ISBN 10: 0387976647
ISBN 13: 9780387976648
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: Used

Acerca de

Sinopsis

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.

Rese�a del editor

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.

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

Descripci�n de la librer�a

We carry a wide selection of books from South Asia, United States, UK.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Readingos GmbH
Kaiserstra�e 47, Frankfurt am Main, 60329, Germany

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

Informaci�n detallada sobre el vendedor

M�todos de pago

A�adir una petici�n