Читайте только на ЛитРес

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

0+
текст
PDF

Объем 446 страниц

0+

Software Specification Methods

текст
PDF
Читайте только на ЛитРес

Книгу нельзя скачать файлом, но можно читать в нашем приложении или онлайн на сайте.

19 697,82 ₽
Подарите скидку 10%
Посоветуйте эту книгу и получите 1 969,79 ₽ с покупки её другом.

Авторы

О книге

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.

Оставьте отзыв

Войдите, чтобы оценить книгу и оставить отзыв

Описание книги

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.

Книга Henri Habrias, Marc Frappier «Software Specification Methods» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+
Дата выхода на Литрес:
20 августа 2019
Объем:
446 стр.
ISBN:
9780470394656
Общий размер:
3.8 МБ
Общее кол-во страниц:
446
Правообладатель:
John Wiley & Sons Limited