Formal Methods: State of the Art and New Directions Editat de Paul Boca et al. 20 oct 2014 Paperback Preț: 632.58 lei 790.72 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ț: 332.64 lei 415.80 lei 6-8 săpt. -20%