Carl Adam Petri: Life and Science Autor Einar Smith et al. 11 noi 2015 Hardback Preț: 157.38 lei 196.73 lei 3-5 săpt. -20%
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings Lecture Notes in Computer Science, nr. 873 Editat de Maurice Naftalin et al. 12 oct 1994 Paperback Preț: 667.57 lei 834.46 lei 6-8 săpt. -20%
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ț: 337.20 lei 421.49 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ț: 331.25 lei 414.07 lei 6-8 săpt. -20%