Software Specification Methods

Henri Habrias · Marc Frappier

mar 2013 · John Wiley & Sons

Libro electrónico

418

Páginas

Las calificaciones y opiniones no están verificadas. Más información

Acerca de este libro electró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 del autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Califica este libro electrónico

Cuéntanos lo que piensas.

Información de lectura

Smartphones y tablets

Instala la app de Google Play Libros para Android y iPad/iPhone. Como se sincroniza de manera automática con tu cuenta, te permite leer en línea o sin conexión en cualquier lugar.

Laptops y computadoras

Para escuchar audiolibros adquiridos en Google Play, usa el navegador web de tu computadora.

Lectores electrónicos y otros dispositivos

Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos Kobo, deberás descargar un archivo y transferirlo a tu dispositivo. Sigue las instrucciones detalladas que aparecen en el Centro de ayuda para transferir los archivos a lectores de libros electrónicos compatibles.

Denunciar contenido ilegal