Software Specification Methods

Henri Habrias · Marc Frappier

mar 2013 · John Wiley & Sons

Ebook

418

pagine

Valutazioni e recensioni non sono verificate Scopri di più

Informazioni su questo ebook

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.

Informazioni sull'autore

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Valuta questo ebook

Dicci cosa ne pensi.

Informazioni sulla lettura

Smartphone e tablet

Installa l'app Google Play Libri per Android e iPad/iPhone. L'app verrà sincronizzata automaticamente con il tuo account e potrai leggere libri online oppure offline ovunque tu sia.

Laptop e computer

Puoi ascoltare gli audiolibri acquistati su Google Play usando il browser web del tuo computer.

eReader e altri dispositivi

Per leggere su dispositivi e-ink come Kobo e eReader, dovrai scaricare un file e trasferirlo sul dispositivo. Segui le istruzioni dettagliate del Centro assistenza per trasferire i file sugli eReader supportati.

Segnala contenuti illegali