Software Specification Methods

Henri Habrias · Marc Frappier

mar. de 2013 · John Wiley & Sons

E-book

418

Páginas

As notas e avaliações não são verificadas Saiba mais

Sobre este e-book

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.

Sobre o autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Avaliar este e-book

Diga o que você achou

Informações de leitura

Smartphones e tablets

Instale o app Google Play Livros para Android e iPad/iPhone. Ele sincroniza automaticamente com sua conta e permite ler on-line ou off-line, o que você preferir.

Laptops e computadores

Você pode ouvir audiolivros comprados no Google Play usando o navegador da Web do seu computador.

eReaders e outros dispositivos

Para ler em dispositivos de e-ink como os e-readers Kobo, é necessário fazer o download e transferir um arquivo para o aparelho. Siga as instruções detalhadas da Central de Ajuda se quiser transferir arquivos para os e-readers compatíveis.

Denunciar conteúdo ilegal