The Temporal logic of reactive and concurrent systems

Bibliografski detalji
Glavni autori: Manna, Zohar, Pnueli, Amir
Format: Printed Book
Izdano: New York, Springer Verlag 1992
Teme:
Electronic digital computers
Programming

MG University

Detalji primjeraka od MG University
Signatura: 005.1 N2
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan

Similar Items