Software Specification Methods

Henri Habrias · Marc Frappier

març del 2013 · John Wiley & Sons

Llibre electrònic

418

Pàgines

No es verifiquen les puntuacions ni les ressenyes Més informació

Sobre aquest llibre

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 l'autor

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Puntua aquest llibre electrònic

Dona'ns la teva opinió.

Informació de lectura

Telèfons intel·ligents i tauletes

Instal·la l'aplicació Google Play Llibres per a Android i per a iPad i iPhone. Aquesta aplicació se sincronitza automàticament amb el compte i et permet llegir llibres en línia o sense connexió a qualsevol lloc.

Ordinadors portàtils i ordinadors de taula

Pots escoltar els audiollibres que has comprat a Google Play amb el navegador web de l'ordinador.

Lectors de llibres electrònics i altres dispositius

Per llegir en dispositius de tinta electrònica, com ara lectors de llibres electrònics Kobo, hauràs de baixar un fitxer i transferir-lo al dispositiu. Segueix les instruccions detallades del Centre d'ajuda per transferir els fitxers a lectors de llibres electrònics compatibles.

Informa de contingut il·legal