Decidability of Parameterized Verification - Roderick Bloem - Boeken - Morgan & Claypool - 9781627057431 - 30 september 2015
Indien omslag en titel niet overeenkomen, is de titel correct

Decidability of Parameterized Verification


Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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 tonen

Mere med samme udgiver

Meer uit deze serie