Reflections on the Work of C.A.R. Hoare
Editat de Cliff B. Jones et al.
21 noi 2014
Paperback
Preț: 941.66 lei 1177.07 lei
6-8 săpt.
-20%
Cliff B. Jones
Understanding Programming Languages
Autor Cliff B. Jones
18 noi 2020
Hardback
Preț: 453.14 lei 566.42 lei
6-8 săpt.
-20%
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
Editat de Cliff B. Jones et al.
13 oct 2011
Paperback
Preț: 325.58 lei 406.98 lei
6-8 săpt.
-20%
Object Orientation with Parallelism and Persistence
Autor Burkhard Freitag et al.
30 sep 1996
Hardback
Preț: 938.70 lei 1173.38 lei
6-8 săpt.
-20%
Methods, Models and Tools for Fault Tolerance
Editat de Michael Butler et al.
26 mar 2009
Paperback
Preț: 318.56 lei 398.20 lei
6-8 săpt.
-20%
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Editat de Cliff B. Jones et al.
6 sep 2007
Paperback
Preț: 327.31 lei 409.13 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Editat de Cliff B. Jones et al.
12 sep 2007
Paperback
Preț: 324.48 lei 405.60 lei
6-8 săpt.
-20%
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Editat de Ali E. Abdallah et al.
3 mai 2005
Paperback
Preț: 316.97 lei 396.22 lei
6-8 săpt.
-20%
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
Editat de John Fitzgerald et al.
3 sep 1997
Paperback
Preț: 630.61 lei 788.27 lei
6-8 săpt.
-20%
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992
Editat de Cliff B. Jones et al.
27 oct 1992
Paperback
Preț: 319.48 lei 399.36 lei
6-8 săpt.
-20%