Reflections on the Work of C.A.R. Hoare - Couverture souple

9781447161523: Reflections on the Work of C.A.R. Hoare

Couverture souple

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Editeur : Springer, 2014

Afficher les exemplaires de cette �dition comportant l'ISBN

1 D'occasion

De EUR 235,91

10 Neuf

De EUR 126,26

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2014
Langue: anglais
ISBN 10: 1447161521
ISBN 13: 9781447161523
Reliure: Broch�
Nombre de pages: 444
�diteur: Jones Cliff B., Roscoe A.W., Wood Kenneth R.
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Comme neuf

Like New

Afficher cet article

EUR 235,91

Exp�dition �EUR 29,07
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 126,26

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour Reflections on the Work of C.A.R. Hoare

Image d'archives

Reflections on the Work of C.A.R. Hoare (eng)

Jones, Cliff B.

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur 6fc313c8dabb4759e272c86515472d62

Contacter le vendeur

Acheter neuf

EUR 126,26

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Reflections on the Work of C.A.R. Hoare

Cliff B. Jones

Edit� par Springer London Nov 2014, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is 'the highest goal of programming-language design to enable good ideas to be elegantly expressed' These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the pi-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraic properties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered. 444 pp. Englisch. N� de r�f. du vendeur 9781447161523

Contacter le vendeur

Acheter neuf

EUR 139,09

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Reflections on the Work of C.A.R. Hoare

Jones, Cliff|Roscoe, A. W.|Wood, Kenneth R.

Edit� par Springer London, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Written in honor of Sir Tony Hoare s 75th birthday Discusses the influence of Sir Tony Hoare s work on current research Provides a scientific biography of Sir Tony HoareInsight, Inspiration and CollaborationC. B. Jones and A. W. RoscoeFrom CSP to Game S. N� de r�f. du vendeur 11465408

Contacter le vendeur

Acheter neuf

EUR 136,16

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Reflections on the Work of C.A.R. Hoare

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In English. N� de r�f. du vendeur ria9781447161523_new

Contacter le vendeur

Acheter neuf

EUR 181,81

Exp�dition �EUR 13,13
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Reflections on the Work of C.A.R. Hoare

A. W. Roscoe

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Thousands of different programming languages exist, and many more are being created each year, yet all those involved in such work must acknowledge that it is 'the highest goal of programming-language design to enable good ideas to be elegantly expressed' These are the words of Sir Charles Antony Richard Hoare, or Tony Hoare to his colleagues and friends, a man who has inspired generations of researchers in computer science. His work, grounded in practical programming, has had a profound impact on the evolution of the field. This includes the development of Hoare logic and Communicating Sequential Processes (CSP).Reflections on the Work of C.A.R. Hoare presents a comprehensive edited survey of all aspects of these subjects, with original contributions by more than 30 international leaders in the field. The book, while honoring Hoare's important contributions, assembles a collection of chapters showing the state of the art in programming languages, sequential programs, concurrency, and unified theories of programming.Topics and features: Provides a scientific biography of Tony Hoare Demonstrates a principled combination of CSP and functional programming, and a CSP semantics for the pi-calculus Reviews methods for proving Hoare formulae Investigates developments in game semantics and semantics based on the state monad Examines the satisfiability problem, void safety, and issues of auxiliary variables Introduces type families in Haskell and a description of Quicksort in Orc Describes an experiment using the Tokeneer archive, and a correctness proof of cryptographic protocols based on the Shadow Security model Presents a representation of CSP as a bigraphical reactive system, and shows how simple entities can be related to CSP processes Discusses the problem-frames approach, and explores algebraicproperties of the new programming combinators This accessible monograph is an ideal overview of theoretical and empirical evolution in programming logic and semantics of programming languages. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interested in broadening their knowledge in all of the areas covered. N� de r�f. du vendeur 9781447161523

Contacter le vendeur

Acheter neuf

EUR 174,36

Exp�dition �EUR 35
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Reflections on the Work of C.A.R. Hoare

Cliff B. Jones (u. a.)

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 140,10

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Reflections on the Work of C.A.R. Hoare

Cliff B. Jones

Edit� par Springer London, Springer London Nov 2014, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -. . . . . . . 33 SamsonAbramsky 3 OnMereologiesinComputingScience. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 DinesBj�rner 4 Roles,Stacks,Histories:ATripleforHoare. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Johannes Borgstrom, � Andrew D. Gordon, andRiccardoPucella 5 ForwardwithHoare. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 MikeGordonandHel �ene ` Collavizza 6 ProbabilisticProgrammingwithCoordination. . . . . . . . . . . . . . . . . . . . . . . . . . . 123 HeJifeng 7 TheOperationalPrincipleandProblemFrames. . . . . . . . . . . . . . . . . . . . . . . . . 143 MichaelJackson 8 TheRoleofAuxiliaryVariablesintheFormal DevelopmentofConcurrentPrograms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 C. B. Jones 9 AvoidaVoid:TheEradicationofNullDereferencing. . . . . . . . . . . . . . . . . . . . 189 BertrandMeyer,AlexanderKogtenkov,andEmmanuelStapf 10 UnfoldingCSP. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 MikkelBundgaardandRobinMilner xi xii Contents 11 Quicksort:CombiningConcurrency,Recursion, andMutableDataStructures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 DavidKitchin,AdrianQuark,andJayadevMisra 12 TheThousand-and-OneCryptographers. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255 A. K. McIverandC. C. Morgan 13 On Process-AlgebraicExtensions of Metric TemporalLogic. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283 ChristophHaase,Joel � Ouaknine,andJamesWorrell 14 FunwithTypeFunctions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301 OlegKiselyov,SimonPeytonJones,andChung-chiehShan 15 OnCSPandtheAlgebraicTheorySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch. N� de r�f. du vendeur 9781447161523

Contacter le vendeur

Acheter neuf

EUR 160,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Reflections on the Work of C.A.R. Hoare

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26358397378

Contacter le vendeur

Acheter neuf

EUR 217,09

Exp�dition �EUR 3,51
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Reflections on the Work of C.A.R. Hoare

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 355142173

Contacter le vendeur

Acheter neuf

EUR 229,09

Exp�dition �EUR 7,56
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Reflections on the Work of C.A.R. Hoare

Edit� par Springer, 2014

ISBN 10 : 1447161521 ISBN 13 : 9781447161523

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18358397384

Contacter le vendeur

Acheter neuf

EUR 228,47

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre

Articles li�s � Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare - Couverture souple

Synopsis

R�sultats de recherche pour Reflections on the Work of C.A.R. Hoare

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

There are 1 autres exemplaires de ce livre sont disponibles