Prolistuj nejnovější knihy letošního roku!

Knihu momentálně nemáme skladem

Computer verification of algorithms using a formal proof system

Autoři

Markus Kaiser

Parametry

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

Nákup knihy

Computer verification of algorithms using a formal proof system, Markus Kaiser

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