Vinkkaa tuotetta kavereillesi:
Decidability of Parameterized Verification Roderick Bloem
Onko sinulla profiili? Kirjaudu sisään
Saat ilmoituksen artistin Roderick Bloem uusista julkaisuista
Lisää iMusic-toivelistallesi
tai
Decidability of Parameterized Verification
Roderick Bloem
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 30. syyskuuta 2015 |
| ISBN13 | 9781627057431 |
| Tuottaja | Morgan & Claypool |
| Sivujen määrä | 172 |
| Mitta | 191 × 235 × 9 mm · 303 g |
| Kieli | Englanti |
