Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems Autor Dan Craigen et al. 11 feb 1995 Hardback Preț: 467.63 lei 584.54 lei 6-8 săpt. -20%