Local cover image
Local cover image

Temporal verification of reactive systems : safety

By: Contributor(s): Material type: TextTextPublication details: Nueva York : [S.n.], 1995Edition: 1a. edDescription: xviii, 512: 24cmISBN:
  • 0387944591
Subject(s):
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática C.3 MAN (Browse shelf(Opens below)) Available DIF-03775

Click on an image to view it in the image viewer

Local cover image