SPIN model checking and software verification
- ISBN
- 9783540410300
SPIN model checking and software verification est un spin, verification book de .
Découvrez SPIN model checking and software verification de , spin.
À propos de l'auteur
est l'auteur de SPIN model checking and software verification. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de SPIN model checking and software verification ?+
SPIN model checking and software verification est un livre de SPIN, Verification, Computer software.
Qui a écrit SPIN model checking and software verification ?+
SPIN model checking and software verification a été écrit par .