Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Principles of the Spin Model Checker
Contenu du livre :
Principles of Spin est un livre d'introduction, la seule exigence étant d'avoir des connaissances en programmation.
Les modèles Spin sont écrits dans le langage Promela qui est facile à apprendre par les étudiants et les programmeurs. Spin est facile à installer et à utiliser.
Le vérificateur de modèles Spin n'est pas seulement un outil professionnel largement utilisé, c'est aussi un excellent outil pour enseigner des concepts importants de l'informatique tels que la vérification, la concurrence et le nondéterminisme. Le livre présente les logiciels basés sur Spin que l'auteur a développés pour l'enseignement : jSpin - un environnement de développement intégré pour Spin. SpinSpider - utilise les résultats de Spin pour construire automatiquement des diagrammes d'état de programmes concurrents.
VN est un outil de visualisation du nondéterminisme. Des programmes complets démontreront chaque construction et chaque concept et ces programmes seront disponibles sur un site Web complémentaire.
Autres informations sur le livre :
| ISBN : | 9781846287695 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2008 |
| Nombre de pages : | 220 |
Achat:
Actuellement disponible, en stock.
