Andere Kunden interessierten sich auch für
![Abstract Analytic Number Theory]( "Abstract Analytic Number Theory")
Abstract Analytic Number Theory20,99 €![Continued Fractions]( "Continued Fractions")
Continued Fractions9,49 €![Number Theory]( "Number Theory")
Number Theory12,99 €![Fundamental Number Theory with Applications]( "Fundamental Number Theory with Applications")
Fundamental Number Theory with Applications90,99 €![History Of The Theory Of Numbers - I]( "History Of The Theory Of Numbers - I")
History Of The Theory Of Numbers - I30,99 €![Numberama: Recreational Number Theory in the School System]( "Numberama: Recreational Number Theory in the School System")
Numberama: Recreational Number Theory in the School System90,99 €![Math Challenge III Number Theory]( "Math Challenge III Number Theory")
Math Challenge III Number Theory28,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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.