Correct-by-Construction Approaches for SoC Design/Roopak Sinha

Correct-by-Construction Approaches for SoC Design/Roopak Sinha

Roopak Sinha
    Correct-by-Construction Approaches for SoC Design [Электронный ресурс] / Roopak Sinha, Parthasarathi Roop, Samik Basu. - Электроные текстовые данные. - 1007/978-1-4614-7864-5. - [S. l.] : Springer New York, 2014. - ( час. мин.), 1007/978-1-4614-7864-5 . - ISBN 9781461478645

Кл.слова (ненормированные):
engineering -- Circuits and Systems -- Processor Architectures -- Electronics and Microelectronics, Instrumentation -- книги издательства Springer