Roderick Bloem Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  429,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Decidability of Parameterized Verification (Bog, Paperback / softback, Engelsk)

  Af: Roderick Bloem

  While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide,... Læs mere

  PRIS

  429,- kr

  FRAGT FRA 39,-

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv