Skip to main content
Catálogo biblioteca
Log in to your account
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Libraries
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Details for:
Temporal verification of reactive systems :
safety
Local cover image
Normal view
MARC view
ISBD view
Temporal verification of reactive systems : safety
By:
Manna, Zohar
Contributor(s):
Pnuieli, Amir
Material type:
Text
Publication details:
Nueva York :
[S.n.],
1995
Edition:
1a. ed
Description:
xviii, 512: 24cm
ISBN:
0387944591
Subject(s):
SISTEMAS REACTIVOS
Star ratings
1
2
3
4
5
Cancel rating.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Images
Holdings
Item type
Home library
Call number
Status
Date due
Libro
Biblioteca de la Facultad de Informática
C.3 MAN (
Browse shelf
(Opens below)
)
Available
Browsing Biblioteca de la Facultad de Informática shelves
Close shelf browser
(Hides shelf browser)
Previous
Next
C.3 ELL
Developing real-time embedded software :
In a market-driven company
C.3 FOR
Formal methods for real-time computing
C.3 GOL
A practical guide to real-time systems development
C.3 MAN
Temporal verification of reactive systems :
safety
C.3 MAN
The temporal logic of reactive and concurrent systems :
specification
C.3 QUI
Verification and validation of real-time software
C.3 REA
Real-time database and information systems :
research advances
Click on an image to view it in the image viewer
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
×