Gesamtpreis (1 Artikel Artikel):
Versandziel:
cliff jones jayadev misra (42 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (42)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (37)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
- Keine Print-on-Demand Angebote (36)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Theories of Programming : The Life and Works of Tony Hoare
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 40,06
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Paperback or Softback)
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 42,40
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 5 verfügbar
In den WarenkorbPaperback or Softback. Zustand: New. Theories of Programming: The Life and Works of Tony Hoare. Book.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 39,28
Währung umrechnenEUR 3,42 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,18
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,01
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Theories of Programming : The Life and Works of Tony Hoare
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,87
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theories of Programming: The Life and Works of Tony Hoare (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 37,58
Währung umrechnenEUR 8,00 für den Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
-
Theories of Programming - The Life and Works of Tony Hoare
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 40,73
Währung umrechnenEUR 6,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,55
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. paperback. . . . . .
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 50,88
Währung umrechnenEUR 7,49 für den Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,43
Währung umrechnenEUR 13,80 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theories of Programming : The Life and Works of Tony Hoare
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 58,99
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 57,81
Währung umrechnenEUR 3,42 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,36
Währung umrechnenEUR 9,01 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. paperback. . . . . . Books ship from the US and Ireland.
-
Theories of Programming: The Life and Works of Tony Hoare (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 52,47
Währung umrechnenEUR 8,00 für den Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
-
Theories of Programming : The Life and Works of Tony Hoare
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,60
Währung umrechnenEUR 17,28 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare
Verlag: Association of Computing Machinery,U.S., 2021
ISBN 10: 1450387292 ISBN 13: 9781450387293
Sprache: Englisch
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 49,07
Währung umrechnenEUR 14,58 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days. 191.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 64,51
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 61,44
Währung umrechnenEUR 3,42 für den Versand innerhalb von/der USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New. 1st edition NO-PA16APR2015-KAP.
-
Theories of Programming : The Life and Works of Tony Hoare
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 66,89
Währung umrechnenEUR 2,26 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theories of Programming : The Life and Works of Tony Hoare
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 52,31
Währung umrechnenEUR 17,28 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 60,20
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. hardcover. . . . . .
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 73,17
Währung umrechnenEUR 7,49 für den Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,60
Währung umrechnenEUR 13,80 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 74,61
Währung umrechnenEUR 9,01 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2021. hardcover. . . . . . Books ship from the US and Ireland.
-
Theories of Programming : The Life and Works of Tony Hoare
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,05
Währung umrechnenEUR 17,28 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
EUR 86,02
Währung umrechnenEUR 3,42 für den Versand innerhalb von/der USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New. 1st edition NO-PA16APR2015-KAP.
-
Theories of Programming : The Life and Works of Tony Hoare
Verlag: Association for Computing Machinery, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 73,72
Währung umrechnenEUR 17,28 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Theories of Programming The Life and Works of Tony Hoare
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,16
Währung umrechnenEUR 28,80 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 450 pages. 9.25x7.50x0.91 inches. In Stock.
-
Theories of Programming
Verlag: Association of Computing Machinery,U.S., US, 2021
ISBN 10: 1450387284 ISBN 13: 9781450387286
Sprache: Englisch
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 93,30
Währung umrechnenKostenlos für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: 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.
