Communicating Sequential Processes. The First 25 Years
Editat de Ali E. Abdallah et al.
3 mai 2005
Paperback
Preț: 337.36 lei 421.70 lei
6-8 săpt.
-20%
Cliff B. Jones
Formal Methods and Hybrid Real-Time Systems
Editat de Cliff B. Jones et al.
6 sep 2007
Paperback
Preț: 348.87 lei 436.10 lei
6-8 săpt.
-20%
Object Orientation with Parallelism and Persistence
Autor Burkhard Freitag et al.
30 sep 1996
Hardback
Preț: 994.69 lei 1243.37 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ț: 324.35 lei 405.44 lei
6-8 săpt.
-20%
Dependable and Historic Computing
Editat de Cliff B. Jones et al.
13 oct 2011
Paperback
Preț: 347.60 lei 434.50 lei
6-8 săpt.
-20%
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Editat de John Fitzgerald et al.
3 sep 1997
Paperback
Preț: 670.70 lei 838.37 lei
6-8 săpt.
-20%
Methods, Models and Tools for Fault Tolerance
Editat de Michael Butler et al.
26 mar 2009
Paperback
Preț: 337.80 lei 422.24 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2007
Editat de Cliff B. Jones et al.
12 sep 2007
Paperback
Preț: 345.68 lei 432.09 lei
6-8 săpt.
-20%
Reflections on the Work of C.A.R. Hoare
Editat de Cliff B. Jones et al.
22 noi 2014
Paperback
Preț: 968.41 lei 1210.51 lei
6-8 săpt.
-20%
Understanding Programming Languages
Autor Cliff B. Jones
18 noi 2021
Paperback
Preț: 328.53 lei 410.66 lei
38-44 zile
-20%