Communicating embedded systems software and design : formal methods /

Збережено в:

Бібліографічні деталі
Співавтор:	ebrary, Inc
Інші автори:	Jard, Claude, Roux, Olivier H.
Формат:	Електронний ресурс eКнига
Мова:	Англійська Французька
Опубліковано:	London : Hoboken, N.J. : ISTE ; Wiley, 2010.
Предмети:	Embedded computer systems > Programming. Embedded computer systems > Design and construction. Computer software > Development. Formal methods (Computer science) Electronic books.
Онлайн доступ:	An electronic book accessible through the World Wide Web; click to view
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Інтернет