Cargando...

The Temporal logic of reactive and concurrent systems

Detalles Bibliográficos
Main Authors:	Manna, Zohar, Pnueli, Amir
Formato:	Printed Book
Publicado:	New York, Springer Verlag 1992
Subjects:	Electronic digital computers Programming

Detalle de Existencias desde MG University
Número de Clasificación:	005.1 N2
Copia	Live Status Unavailable

Títulos similares