Résumé

...

Sommaire

1. Modèles à transitions, approches et sémantique2. Approches conceptuelles3. Modèles à transitions, outils4. Analyse et performances5. Sécurité et qualité de service6. Modèles algébriques, outils7. Applications8. TestsIndex des auteurs

Caractéristiques

Editeur : Hermes Science

Auteur(s) : RAFIQ

Publication : 1 août 1991

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 30 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 eBook [PDF] : 9782746235335

EAN13 (papier) : 9782866012830

--:-- / --:--