Industrial Applications of Formal Methods to Model, Design and Analyze Computer SystemseBookIndustrial Applications of Formal Methods to Model, Design and Analyze Computer SystemskaryaDan CraigenPenilaian: 0 dari 5 bintang0 penilaianSimpan Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems untuk nanti