Lanean...

The Temporal logic of reactive and concurrent systems

Xehetasun bibliografikoak
Egile Nagusiak:	Manna, Zohar, Pnueli, Amir
Formatua:	Printed Book
Argitaratua:	New York, Springer Verlag 1992
Gaiak:	Electronic digital computers Programming

Aleari buruzko argibideak MG University
Sailkapena:	005.1 N2
Alea	Egoera zuzenean ez dago erabilgarri

Antzeko izenburuak