Vertel uw vrienden over dit artikel:
Decidability of Parameterized Verification Roderick Bloem
Decidability of Parameterized Verification
Roderick Bloem
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 30 september 2015 |
| ISBN13 | 9781627057431 |
| Uitgevers | Morgan & Claypool |
| Pagina's | 172 |
| Afmetingen | 191 × 235 × 9 mm · 303 g |
| Taal en grammatica | Engels |
Meer door Roderick Bloem
Alles tonenMere med samme udgiver
Meer uit deze serie
Bekijk alles van Roderick Bloem ( bijv. Paperback Book )