Decidability of Parameterized Verification - Roderick Bloem - Knjige - Morgan & Claypool - 9781627057431 - 30. septembra 2015
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Decidability of Parameterized Verification


Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava
Prejemajte obvestila o novih izdajah izvajalca Roderick Bloem
Dodaj na svoj seznam želja iMusic

Not rated yet

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 30. septembra 2015
ISBN13 9781627057431
Založniki Morgan & Claypool
Strani 172
Dimenzije 191 × 235 × 9 mm   ·   303 g
Jezik Angleščina  

Več od Roderick Bloem

Prikaži vse

Več od te serije

Več od istega **izdajatelja**

Ogled vseh Roderick Bloem ( Na primer Paperback Book )