Theories Programming Life Works (36 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 46.48
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 49.13
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Theories of Programming: The Life and Works of Tony Hoare. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 50.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 44.79
US$ 9.17 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 51.06
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 50.27
US$ 10.90 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. 2021. paperback. . . . . .
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 56.33
US$ 8.70 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 62.39
US$ 9.17 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 60.68
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. 2021. paperback. . . . . . Books ship from the US and Ireland.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 68.91
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 54.12
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Association of Computing Machinery,U.S., 2021
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 56.54
US$ 16.94 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 73.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 60.51
US$ 15.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 59.56
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 75.97
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 76.46
US$ 3.99 shippingShips within U.S.A.Quantity: 3 available
Condition: New. 1st edition NO-PA16APR2015-KAP.
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 71.14
US$ 10.90 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. 2021. hardcover. . . . . .
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 72.09
US$ 16.73 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 450 pages. 9.25x7.50x0.91 inches. In Stock.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 80.78
US$ 8.70 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 75.62
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 79.89
US$ 17.36 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardback. Condition: New. New copy - Usually dispatched within 4 working days.
- Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 86.49
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. 2021. hardcover. . . . . . Books ship from the US and Ireland.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 85.91
US$ 19.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 84.71
US$ 20.07 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 104.99
US$ 3.99 shippingShips within U.S.A.Quantity: 3 available
Condition: New. 1st edition NO-PA16APR2015-KAP.
Language: English
Published by Association For Computing Machinery 6504698 Sep 2021, 2021
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 82.21
US$ 34.98 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Neuware - Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. 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.This book presents the essence of his various works-the quest for effective abstractions-both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers.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. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments.Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications.This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.…
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 105.99
US$ 16.73 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Hardcover. Condition: Brand New. 450 pages. 9.25x7.50x1.18 inches. In Stock.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 64.20
US$ 56.19 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. KlappentextSir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognis.
Language: English
Published by Association for Computing Machinery and Morgan & Claypool Publishers, 2021
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 47.37
US$ 80.28 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theories of Programming | The Life and Works of Tony Hoare | Cliff B Jones (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2021 | Association for Computing Machinery and Morgan & Claypool Publishers | EAN 9781450387293 | Verantwortliche Person für die EU: Mare Nostrum Group B.V., Doelen 72, 4831 GR BREDA, NIEDERLANDE, gpsr[at]mare-nostrum[dot]co[dot]uk | Anbieter: preigu. …
