Christian Prehofer – författare
Visar alla böcker från författaren Christian Prehofer. Handla med fri frakt och snabb leverans.
3 produkter
Solving Higher-Order Equations
From Logic to Programming
Inbunden, 1997
1098 kr
Lägg i varukorg
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction …
Solving Higher-Order Equations
From Logic to Programming
E-bok, 2012
1459 kr
Lägg i varukorg
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction …
Solving Higher-Order Equations
From Logic to Programming
Häftad, 2012
1098 kr
Lägg i varukorg
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction …
