Software Specification Methods

Henri Habrias · Marc Frappier

03.2013 г. · John Wiley & Sons

Електронна книга

418

Страници

Оценките и отзивите не са потвърдени Научете повече

Всичко за тази електронна книга

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, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Оценете тази електронна книга

Кажете ни какво мислите.

Информация за четенето

Смартфони и таблети

Инсталирайте приложението Google Play Книги за Android и iPad/iPhone. То автоматично се синхронизира с профила ви и ви позволява да четете онлайн или офлайн, където и да сте.

Лаптопи и компютри

Можете да слушате закупените от Google Play аудиокниги посредством уеб браузъра на компютъра си.

Електронни четци и други устройства

За да четете на устройства с електронно мастило, като например електронните четци от Kobo, трябва да изтеглите файл и да го прехвърлите на устройството си. Изпълнете подробните инструкции в Помощния център, за да прехвърлите файловете в поддържаните електронни четци.

Подаване на сигнал за незаконно съдържание