5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 Workshops in Computing Editat de Cliff B. Jones et al. 27 oct 1992 Paperback Preț: 324.35 lei 405.44 lei 6-8 săpt. -20%
Formal Aspects of Measurement: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 Workshops in Computing 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 Editat de Maurice Naftalin et al. 12 oct 1994 Paperback Preț: 646.63 lei 808.29 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%