Industrial Applications of Formal Methods to Model, Design and Analyze Computer SystemsE-bookIndustrial Applications of Formal Methods to Model, Design and Analyze Computer SystemsdiDan CraigenValutazione: 0 su 5 stelle0 valutazioniSalva Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems per dopo