Software Specification Methods

Henri Habrias · Marc Frappier

märts 2013 · John Wiley & Sons

E-raamat

418

lehekülge

Hinnangud ja arvustused pole kinnitatud. Lisateave

Teave selle e-raamatu kohta

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.

Teave autori kohta

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Hinnake seda e-raamatut

Andke meile teada, mida te arvate.

Lugemisteave

Nutitelefonid ja tahvelarvutid

Installige rakendus Google Play raamatud Androidile ja iPadile/iPhone'ile. See sünkroonitakse automaatselt teie kontoga ja see võimaldab teil asukohast olenemata lugeda nii võrgus kui ka võrguühenduseta.

Sülearvutid ja arvutid

Google Playst ostetud audioraamatuid saab kuulata arvuti veebibrauseris.

E-lugerid ja muud seadmed

E-tindi seadmetes (nt Kobo e-lugerid) lugemiseks peate faili alla laadima ja selle oma seadmesse üle kandma. Failide toetatud e-lugeritesse teisaldamiseks järgige üksikasjalikke abikeskuse juhiseid.

Ebaseaduslikust sisust teatamine