Peter Padawitz – författare
Visar alla böcker från författaren Peter Padawitz. Handla med fri frakt och snabb leverans.
3 produkter
Deductive and Declarative Programming
Av Peter Padawitz, C. J. van Rijsbergen
Häftad, 2006
804 kr
Lägg i varukorg
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, …
Computing in Horn Clause Theories
E-bok, 2012
755 kr
Lägg i varukorg
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between …
Computing in Horn Clause Theories
Häftad, 2011
569 kr
Lägg i varukorg
At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between …
