Langue: anglais
Edité par Addison-Wesley (edition First Edition), 1988
ISBN 10 : 0201058669 ISBN 13 : 9780201058666
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Edition originale
EUR 11,11
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. First Edition. With dust jacket. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
EUR 13,03
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
EUR 13,03
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
EUR 13,03
Quantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
EUR 15,23
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
EUR 11,95
Quantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Vendeur : Half Price Books Inc., Dallas, TX, Etats-Unis
EUR 19,15
Quantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
EUR 18,59
Quantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Fine.
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
EUR 18,59
Quantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good. Cover shows minimal shelf wear. Pages are clean, text and pictures are intact and unmarred.
Vendeur : World of Books (was SecondSale), Montgomery, IL, Etats-Unis
EUR 30,07
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 32,10
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 444 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 37,23
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 444.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 31,27
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 444.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 40,32
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 42,64
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Theories of Programming: The Life and Works of Tony Hoare. Book.
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
EUR 43,10
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
EUR 39,70
Quantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
EUR 44,99
Quantité disponible : 5 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Langue: anglais
Edité par Association for Computing Machinery 6504698, 2021
ISBN 10 : 1450387292 ISBN 13 : 9781450387293
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 38,95
Quantité disponible : 15 disponible(s)
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.
EUR 43,64
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 44,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Association of Computing Machinery,U.S., US, 2021
ISBN 10 : 1450387292 ISBN 13 : 9781450387293
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
EUR 52,06
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New. 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.
EUR 51,06
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 42,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2021. paperback. . . . . .
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 43,65
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2022. paperback. . . . . .
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 56
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Effective Theories in Programming Practice. Book.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 49,43
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 50,76
Quantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 58,56
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 44,78
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.