The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Ma
129,64 €
They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. by Zohar Manna, Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems.
Jetzt bei Ebay:
