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