Fortell venner om denne varen:
Decidability of Parameterized Verification Roderick Bloem
Har du en profil? Logg inn
Få varsel om nye utgivelser fra Roderick Bloem
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 |
