Knihu momentálně nemáme skladem

Model checking nondeterministic and randomly timed systems

Autoři

Martin R. Neuhäußer

Parametry

Počítače, IT, programování

Nákup knihy

Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer

Jazyk
Rok vydání: 2010

Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu