Kniha momentálne nie je na sklade

Model checking nondeterministic and randomly timed systems

Autori

Martin R. Neuhäußer

Parametre

Počítače, IT, programovanie

Nákup knihy

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

Jazyk
Rok vydania: 2010

Akonáhle sa objaví, pošleme e-mail.

Doručenie

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu