Software Specification Methods

Henri Habrias · Marc Frappier

mars 2013 · John Wiley & Sons

E-bok

418

Sidor

Betyg och recensioner verifieras inte Läs mer

Om den här e-boken

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.

Om författaren

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Betygsätt e-boken

Berätta vad du tycker.

Läsinformation

Smartphones och surfplattor

Installera appen Google Play Böcker för Android och iPad/iPhone. Appen synkroniseras automatiskt med ditt konto så att du kan läsa online eller offline var du än befinner dig.

Laptops och stationära datorer

Du kan lyssna på ljudböcker som du har köpt på Google Play via webbläsaren på datorn.

Läsplattor och andra enheter

Om du vill läsa boken på enheter med e-bläck, till exempel Kobo-läsplattor, måste du ladda ned en fil och överföra den till enheten. Följ anvisningarna i hjälpcentret om du vill överföra filerna till en kompatibel läsplatta.

Rapportera olagligt innehåll