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.