The Temporal logic of reactive and concurrent systems

Bibliografske podrobnosti
Main Authors: Manna, Zohar, Pnueli, Amir
Format: Printed Book
Izdano: New York, Springer Verlag 1992
Teme:
Electronic digital computers
Programming

MG University

Podrobnosti zaloge MG University
Signatura: 005.1 N2
Kopija Zaloga ni dosegljiva

Podobne knjige/članki