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%
Cărți de Tim Denvir
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Editat de Tim Denvir et al.
28 aug 1992
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Editat de Maurice Naftalin et al.
12 oct 1994
Paperback
Preț: 641.77 lei 802.21 lei
6-8 săpt.
-20%
Carl Adam Petri: Life and Science
Autor Einar Smith et al.
11 noi 2015
Hardback
Preț: 151.20 lei 189.00 lei
3-5 săpt.
-20%