The Temporal logic of reactive and concurrent systems

Sonraí Bibleagrafaíochta
Main Authors: Manna, Zohar, Pnueli, Amir
Formáid: Printed Book
Foilsithe: New York, Springer Verlag 1992
Ábhair:
Electronic digital computers
Programming

MG University

Sonraí sealbhúcháin ó MG University
Gairmuimhir: 005.1 N2
Cóip Live Status Unavailable

Míreanna Comhchosúla