Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
58,50 €
Hoare's foundational paper"An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000.
Jetzt bei Ebay:
