Higher Order Logic Theorem Proving and Its Applications: 6th International Works
67,36 €
Program verification using HOL-UNITY. - Graph model of LAMBDA in higher order logic. - Reasoning with the formal definition of standard ML in HOL. - Structure and behaviour in hardware verification.
Jetzt bei Ebay:
