Verifying concurrent processes using temporal logic

By:

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 129Publication details: Berlín : Springer, 1982Edition: 1a edDescription: viii, 208 p. : il. ; 25 cmISBN:

Subject(s):

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Libro	Biblioteca de la Facultad de Informática	D.2.4 HAI (Browse shelf(Opens below))	Available		DIF-04161

Incluye índice y bibliografía.

Click on an image to view it in the image viewer