Fortell venner om denne varen:
Decidability of Parameterized Verification Roderick Bloem
Har du en profil? Logg inn
Legg til iMusic ønskeliste
eller
Decidability of Parameterized Verification
Roderick Bloem
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 30. september 2015 |
| ISBN13 | 9781627057431 |
| Utgivere | Morgan & Claypool |
| Antall sider | 172 |
| Mål | 191 × 235 × 9 mm · 303 g |
| Språk | Engelsk |
Mer med Roderick Bloem
Vis alle
Mere med samme udgiver
Flere i samme serie
Se alt med Roderick Bloem ( f.eks. Pocketbok )