Tipsa dina vänner om produkten:
Decidability of Parameterized Verification Roderick Bloem
Har du en profil? Logga in
Få avisering om nya utgåvor med Roderick Bloem
Lägg till din iMusic-önskelista
eller
Decidability of Parameterized Verification
Roderick Bloem
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 30 september 2015 |
| ISBN13 | 9781627057431 |
| Utgivare | Morgan & Claypool |
| Antal sidor | 172 |
| Mått | 191 × 235 × 9 mm · 303 g |
| Språk | Engelska |
