Montant total (1 article articles) :
Destination de la commande :
cliff jones jayadev misra (45 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (45)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (40)
- Comme neuf, Très bon ou Bon (4)
- Assez bon ou satisfaisant (1)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (19)
- Sans impressions à la demande (38)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Theories of Programming : The Life and Works of Tony Hoare
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 39,96
Autre deviseEUR 2,24 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,79
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (Paperback or Softback)
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,32
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Theories of Programming: The Life and Works of Tony Hoare 1.69. Book.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,64
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming : The Life and Works of Tony Hoare
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,32
Autre deviseEUR 2,24 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theories of Programming: The Life and Works of Tony Hoare (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,58
Autre deviseEUR 8 expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,47
Autre deviseEUR 10,50 expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2021. paperback. . . . . .
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,34
Autre deviseEUR 7,44 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Theories of Programming
Edité par Association of Computing Machinery,U.S., US, 2021
ISBN 10 : 1450387292 ISBN 13 : 9781450387293
Langue: anglais
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,96
Autre deviseGratuit expédition vers Etats-UnisQuantité 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.
-
Theories of Programming : The Life and Works of Tony Hoare
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,61
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 60,10
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,81
Autre deviseEUR 2,24 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 46,16
Autre deviseEUR 13,72 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,10
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,61
Autre deviseEUR 8,90 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2021. paperback. . . . . . Books ship from the US and Ireland.
-
Theories of Programming: The Life and Works of Tony Hoare (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,47
Autre deviseEUR 8 expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 59,70
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. 1st edition NO-PA16APR2015-KAP.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,71
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming : The Life and Works of Tony Hoare
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,07
Autre deviseEUR 2,24 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theories of Programming : The Life and Works of Tony Hoare
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 50,72
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theories of Programming
Edité par Association of Computing Machinery,U.S., US, 2021
ISBN 10 : 1450387292 ISBN 13 : 9781450387293
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,73
Autre deviseGratuit expédition depuis Royaume-Uni vers Etats-UnisQuantité 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.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,10
Autre deviseEUR 10,50 expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2021. hardcover. . . . . .
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,70
Autre deviseEUR 7,44 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 66,22
Autre deviseEUR 13,72 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Theories of Programming : The Life and Works of Tony Hoare
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 64,92
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,55
Autre deviseEUR 8,90 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. 2021. hardcover. . . . . . Books ship from the US and Ireland.
-
Theories of Programming: The Life and Works of Tony Hoare (Acm Books)
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 83,70
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New. 1st edition NO-PA16APR2015-KAP.
-
Theories of Programming : The Life and Works of Tony Hoare
Edité par Association for Computing Machinery, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 72,27
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theories of Programming The Life and Works of Tony Hoare
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,51
Autre deviseEUR 28,63 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 450 pages. 9.25x7.50x0.91 inches. In Stock.
-
Theories of Programming
Edité par Association of Computing Machinery,U.S., US, 2021
ISBN 10 : 1450387284 ISBN 13 : 9781450387286
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,47
Autre deviseGratuit expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. 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.
