Software Specification Methods

Henri Habrias · Marc Frappier

mars 2013 · John Wiley & Sons

Ebook

418

Pages

Les notes et les avis ne sont pas vérifiés En savoir plus

À propos de cet 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.

Quelques mots sur l'auteur

Henri Habrias, University of Nantes, France

Marc Frappier, University of Sherbrooke, Canada

Attribuez une note à ce ebook

Faites-nous part de votre avis.

Informations sur la lecture

Téléphones intelligents et tablettes

Installez l'appli Google Play Livres pour Android et iPad ou iPhone. Elle se synchronise automatiquement avec votre compte et vous permet de lire des livres en ligne ou hors connexion, où que vous soyez.

Ordinateurs portables et de bureau

Vous pouvez écouter les livres audio achetés sur Google Play en utilisant le navigateur Web de votre ordinateur.

Liseuses et autres appareils

Pour pouvoir lire des ouvrages sur des appareils utilisant la technologie e-Ink, comme les liseuses électroniques Kobo, vous devez télécharger un fichier et le transférer sur l'appareil en question. Suivez les instructions détaillées du centre d'aide pour transférer les fichiers sur les liseuses électroniques compatibles.

Signaler du contenu illicite