Software Specification Methods

Henri Habrias · Marc Frappier

mar 2013 · John Wiley & Sons

eBook

418

Páginas

Las valoraciones y las reseñas no se verifican. Más información

Información sobre este 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.

Acerca del autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Valorar este eBook

Danos tu opinión.

Información sobre cómo leer

Smartphones y tablets

Instala la aplicación Google Play Libros para Android y iPad/iPhone. Se sincroniza automáticamente con tu cuenta y te permite leer contenido online o sin conexión estés donde estés.

Ordenadores portátiles y de escritorio

Puedes usar el navegador web del ordenador para escuchar audiolibros que hayas comprado en Google Play.

eReaders y otros dispositivos

Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos de Kobo, es necesario descargar un archivo y transferirlo al dispositivo. Sigue las instrucciones detalladas del Centro de Ayuda para transferir archivos a lectores de libros electrónicos compatibles.

Denunciar contenido ilegal