Pastāsti draugiem par šo preci:
Decidability of Parameterized Verification Roderick Bloem
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Roderick Bloem izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Decidability of Parameterized Verification
Roderick Bloem
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 30. septembris |
| ISBN13 | 9781627057431 |
| Izdevēji | Morgan & Claypool |
| Lapas | 172 |
| Izmēri | 191 × 235 × 9 mm · 303 g |
| Valoda | Angļu |
Vairāk no Roderick Bloem
Rādīt visu
Vairāk no šīs sērijas
Vairāk no tā paša izdevēja
Skatīt visus Roderick Bloem