|
Вид документа : Монографическая серия Шифр издания : 004.031.6/A22
Заглавие : Advances in design methods from modeling languages for embedded systems and soc’s [Electronic resource]
: selected contributions on specification, design, and verification from FDL 2009
Выходные данные : Dordrecht : Springer, 2010 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in electrical engineering, ISSN 1876-1100; 63
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-90-481-9304-2: Б.ц.
ГРНТИ : 50.39.29 + 47.33.31 УДК : 004.031.6 + 621.3.049.771.14 Ключевые слова (''Своб.индексиров.''): вычислительные системы встроенные--системы на кристалле--проектирование--спецификация--верификация
См. : Текст издания Доп.точки доступа: Borrione, D. \ed.\; SpringerLink (Online service)
|
|