Software Specification Methods

Henri Habrias · Marc Frappier

03/2013 · John Wiley & Sons

Livro eletrónico

418

Páginas

As classificações e as críticas não são validadas Saiba mais

Acerca deste livro eletrónico

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.

Acerca do autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Classifique este livro eletrónico

Dê-nos a sua opinião.

Informações de leitura

Smartphones e tablets

Instale a app Google Play Livros para Android e iPad/iPhone. A aplicação é sincronizada automaticamente com a sua conta e permite-lhe ler online ou offline, onde quer que esteja.

Portáteis e computadores

Pode ouvir audiolivros comprados no Google Play através do navegador de Internet do seu computador.

eReaders e outros dispositivos

Para ler em dispositivos e-ink, como e-readers Kobo, tem de transferir um ficheiro e movê-lo para o seu dispositivo. Siga as instruções detalhadas do Centro de Ajuda para transferir os ficheiros para os e-readers suportados.

Denunciar conteúdo ilegal