Formal Methods: State of the Art and New Directions Editat de Paul Boca et al. 22 dec 2009 Hardback Preț: 628.62 lei 785.77 lei 6-8 săpt. -20%
Abstract State Machines, B and Z Editat de Egon Börger et al. 8 sep 2008 Paperback Preț: 327.27 lei 409.09 lei 6-8 săpt. -20%
Formal Methods: State of the Art and New Directions Editat de Paul Boca et al. 20 oct 2014 Paperback Preț: 620.69 lei 775.87 lei 6-8 săpt. -20%