Z Knihobotu sa stáva Bookbot!

Kniha momentálne nie je na sklade

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Autori

Sofiène Tahar

Parametre

Počítače, IT, programovanie

Nákup knihy

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

Jazyk
Rok vydania: 1995

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

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu