Temporal verification of reactive systems : safety /

Bibliographic Details
Main Author: Manna, Zohar
Other Authors: Pnueli, Amir
Format: Book
Language:English
Published: New York : Springer, 1995.
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20190826153501.0
008 110516s1995 nyu||||| |||| 00| 0 eng d
020 |a 0387944591 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 10781  |a Manna, Zohar. 
245 1 0 |a Temporal verification of reactive systems :   |b safety /   |c Zohar Manna, Amir Pnueli. 
260 |a New York :   |b Springer,   |c 1995. 
300 |a xviii, 512 p. ;  |c 25 cm. 
650 4 |a Análisis de algoritmos y problemas de complejidad. 
650 4 |a Analysis of algorithms and problem complexity. 
650 4 |a Programs-Verification. 
650 4 |a Programas-Verificación: 
700 1 |a Pnueli, Amir  |9 13584 
942 |c LIBRO 
945 |a MCR  |d 2011-05-16 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F2_M282  |7 0  |9 10548  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C F2 M282  |p 15078  |r 2023-01-24 00:00:00  |w 2008-06-09  |y LIBRO 
999 |c 8258  |d 8258