B 2007: Formal Specification and Development in B Editat de Jacques Julliand et al. 14 dec 2006 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 10231 Editat de Olga Kouchnarenko et al. 13 apr 2017 Paperback Preț: 322.16 lei 402.70 lei 6-8 săpt. -20%