Software Specification Methods

Henri Habrias · Marc Frappier

мар 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 е-читачи, треба да преузмете фајл и пренесете га на уређај. Пратите детаљна упутства из центра за помоћ да бисте пренели фајлове у подржане е-читаче.

Пријавите незаконит садржај