Formal Methods: State of the Art and New Directions Editat de Paul Boca et al. 20 oct 2014 Paperback Preț: 645.65 lei 807.05 lei 6-8 săpt. -20%
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings Lecture Notes in Computer Science, nr. 5238 Editat de Egon Börger et al. 8 sep 2008 Paperback Preț: 339.47 lei 424.34 lei 6-8 săpt. -20%