Refinement: Semantics, Languages and Applications Autor John Derrick et al. 14 sep 2018 Hardback Preț: 338.49 lei 423.11 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ț: 345.44 lei 431.80 lei 6-8 săpt. -20%