21,99 €
inkl. MwSt.
Versandfertig in über 4 Wochen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Elementary Number Theory]( "Elementary Number Theory")
Elementary Number Theory15,99 €![Elementary Theory of Numbers]( "Elementary Theory of Numbers")
Elementary Theory of Numbers10,99 €![Abstract Analytic Number Theory]( "Abstract Analytic Number Theory")
Abstract Analytic Number Theory19,99 €![Essays on the Theory of Numbers]( "Essays on the Theory of Numbers")
Essays on the Theory of Numbers9,99 €![Diophantine Approximations]( "Diophantine Approximations")
Diophantine Approximations8,49 €![Fibonacci Numbers]( "Fibonacci Numbers")
Fibonacci Numbers9,99 €![General Topology]( "General Topology")
General Topology41,99 €
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.