Knihu momentálně nemáme skladem

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Autoři

Sofiène Tahar

Parametry

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

Nákup knihy

Eine Methode zur formalen Verifikation von RISC-Prozessoren, Sofiène Tahar

Jazyk
Rok vydání: 1995

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

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu