First-Order Dynamic Logic
David Harel
Broschiertes Buch

First-Order Dynamic Logic

Versandfertig in 1-2 Wochen
9,49 €
inkl. MwSt.
PAYBACK Punkte
5 °P sammeln!
I: Binary-relation semantics.- II: Computation-tree semantics.