Temporal Logic of Programs by Fred Kr?ger (English) Paperback Book
63,26 €
Logic and Programs. - Historical Remarks. - I. Propositional Temporal Logic. A Language TTA of Propositional Temporal Logic. Semantics of TTA. Temporal Logical Laws. Axiomatization of Propositional Temporal Logic.
Jetzt bei Ebay: