Compartir
Reflections on the Work of C.A.R. Hoare (en Inglés)
Jones, Cliff B. ; Roscoe, A. W. ; Wood, Kenneth R. (Autor)
·
Springer
· Tapa Blanda
Reflections on the Work of C.A.R. Hoare (en Inglés) - Jones, Cliff B. ; Roscoe, A. W. ; Wood, Kenneth R.
$ 283.470
$ 393.710
Ahorras: $ 110.240
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 19 de Julio y el
Viernes 26 de Julio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Reflections on the Work of C.A.R. Hoare (en Inglés)"
Insight, Inspiration and Collaboration C. B. Jones and A. W. Roscoe From CSP to Game Semantics Samson Abramsky On Mereologies in Computing Science Dines Bj rner Roles, Stacks, Histories: A Triple for Hoare Johannes Borgstrom, Andrew D. Gordon and Riccardo Pucella Forward with Hoare Mike Gordon and Helene Collavizza Probabilistic Programming with Coordination He Jifeng The Operational Principle and Problem Frames Michael Jackson The Role of Auxiliary Variables in the Formal Development of Concurrent Programs Cliff B. Jones Avoid a Void: The Eradication of Null Dereferencing Bertrand Meyer, Alexander Kogtenkov and Emmanuel Stapf Unfolding CSP Mikkel Bundgaard and Robin Milner Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures David Kitchin, Adrian Quark and Jayadev Misra The Thousand-and-One Cryptographers AK McIver and CC Morgan On Process-algebraic Extensions of Metric Temporal Logic Christoph Haase, Joel Ouaknine and James Worrell Fun with Type Functions Oleg Kiselyov, Simon Peyton Jones and Chung-chieh Shan On CSP and the Algebraic Theory of Effects Rob van Glabbeek and Gordon Plotkin CSP is Expressive Enough for ? A.W. Roscoe The Tokeneer Experiments Jim Woodcock, Emine Gokce Aydal and Rod Chapman