Correct-by-Construction Approaches for SoC Design takbook 9 سال ago Correct-by-Construction Approaches for SoC Design Roopak Sinha, Parthasarathi Roop, Samik Basu (auth.)… جزئیات بیشتر / دانلود