IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999 Editat de Keijiro Araki et al. 24 iun 1999 Paperback Preț: 630.01 lei 787.52 lei 6-8 săpt. -20%
Formal Methods and Software Engineering Editat de Toshiaki Aoki et al. 19 sep 2012 Paperback Preț: 332.81 lei 416.02 lei 6-8 săpt. -20%