> > > > zohar-manna

We hebben 3 boeken gevonden van de auteur Zohar Manna


Hieronder vindt u een lijst met alle gevonden boeken van de auteur Zohar Manna.
De meest gevonden boeken zijn Temporal Verification Of Reactive Systems, Mathematical Theory Of Computation en The Temporal Logic Of Reactive And Concurrent Systems: Specification.