The Temporal logic of reactive and concurrent systems

Podrobná bibliografie
Hlavní autoři: Manna, Zohar, Pnueli, Amir
Médium: Printed Book
Vydáno: New York, Springer Verlag 1992
Témata:
Electronic digital computers
Programming

MG University

Informace o exemplářích z: MG University
Signatura: 005.1 N2
Jednotka Neznámá aktuální dostupnost

Podobné jednotky