Kurv Vare varer (tom)

Ingen varer

Fastlægges senere Forsendelse

0,- kr I alt

Kassen / rediger kurv

Varen er nu lagt i din kurv

Antal

I alt

Der er 0 varer i din kurv Der er 1 vare i din kurv

Varer i alt

Forsendelse i alt Fastlægges senere

I alt

Fortsæt indkøb

Roderick Bloem Forfatter

Visning: Type : Bog | Sprog : Engelsk | Format : Alle Der vises kun bøger på engelsk

Viser 1 - 1 af 1 resultat

PRIS

429,- kr

FRAGT FRA 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

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 35,-

Levering: Skaffevare (forvent 14 - 30 hverdage)

Læg i kurv

Viser 1 - 1 af 1 resultat