Formal method industrial use from model to the code /

Збережено в:
Бібліографічні деталі
Співавтор: ebrary, Inc
Інші автори: Boulanger, Jean-Louis
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: London : Hoboken, N.J. : ISTE ; Wiley, 2012.
Серія:Industrial implementation of formal methods series.
Предмети:
Онлайн доступ:An electronic book accessible through the World Wide Web; click to view
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!