Книга Software Specification Methods
- Жанр: Зарубежная компьютерная литература, Программирование
- ISBN: 9780470394656
- Издательство: John Wiley & Sons Limited
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Рекомендуем посмотреть
Современный самоучитель работы на компьютере
OrCAD Pspice. Анализ электрических цепей
Multisim. Современная система компьютерного моделирования и анализа схем электронных устройств
Встраиваемые системы. Проектирование приложений на микроконтроллерах семейства 68НС12 / НСS12 с применением языка С
Создание фотореалистичных изображений
Дискретная математика для программистов
Внутреннее устройство Windows (pdf+epub)
Введение в теорию языков программирования