Reflections on the Work of C.A.R. Hoare
Editat de Cliff B. Jones et al.
21 noi 2014
Paperback
Preț: 994.26 lei 1242.82 lei
43-57 zile
-20%
Cliff B. Jones
Understanding Programming Languages
Autor Cliff B. Jones
18 noi 2021
Paperback
Preț: 301.41 lei 376.76 lei
38-44 zile
-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ț: 343.62 lei 429.52 lei
43-57 zile
-20%
Object Orientation with Parallelism and Persistence
Autor Burkhard Freitag et al.
30 sep 1996
Hardback
Preț: 991.14 lei 1238.92 lei
43-57 zile
-20%
Methods, Models and Tools for Fault Tolerance
Editat de Michael Butler et al.
26 mar 2009
Paperback
Preț: 336.21 lei 420.26 lei
43-57 zile
-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ț: 345.44 lei 431.80 lei
43-57 zile
-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ț: 342.46 lei 428.07 lei
43-57 zile
-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ț: 334.53 lei 418.16 lei
43-57 zile
-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ț: 665.75 lei 832.19 lei
43-57 zile
-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ț: 337.20 lei 421.49 lei
43-57 zile
-20%