Refinement: Semantics, Languages and Applications Autor John Derrick et al. 14 sep 2018 Hardback Preț: 328.85 lei 411.06 lei 6-8 săpt. -20%
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Lecture Notes in Computer Science, nr. 2999 Editat de Eerke Boiten et al. 24 mar 2004 Paperback Preț: 335.60 lei 419.50 lei 6-8 săpt. -20%