• Shop by category
  • Powered by eBay

    • When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.

    Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

    • Item No : 376417668562
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $57.25

    • * Item Description

    • 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.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category
  • BEAUTY
  • Skin Care
  • Makeup
  • Nail Care, Manicure & Pedicure
  • Hair Care & Styling
  • FASHION
  • Men's Clothing
  • Men's Shoes
  • Women's Clothing
  • Women's Handbags & Bags
  • Jewelry & Watches
  • KID'S
  • HOME & GARDEN
  • Kitchen, Dining & Bar
  • Home Decor
  • Home Improvement
  • Food & Beverages
  • ELECTRONICS
  • Cell Phones & Accessories
  • Cameras & Photo
  • Computers/Tablets & Networking
  • Consumer Electronics
  • ENTERTAINMENT
  • Music
  • Entertainment Memorabilia
  • DVDs & Movies
  • MORE
  • Sporting Goods
  • Motors
  • Business & Industrial
  • Toys & Hobbies


    • Contact Us

    When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.