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