Faites connaître cet article à vos amis:
Decidability of Parameterized Verification Roderick Bloem
Avez-vous un profil ? Connectez-vous
Recevez une notification pour les nouvelles sorties de Roderick Bloem
Nos clients disent :
Ajouter à votre liste de souhaits iMusic
Decidability of Parameterized Verification
Roderick Bloem
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 30 septembre 2015 |
| ISBN13 | 9781627057431 |
| Éditeurs | Morgan & Claypool |
| Pages | 172 |
| Dimensions | 191 × 235 × 9 mm · 303 g |
| Langue et grammaire | Anglais |
