
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319325828
- Date de parution :23 mai 2016
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :4.23 MB
- Options de téléchargement :EPUB2 (Adobe DRM)





















































