Knihu momentálně nemáme skladem

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Autoři

Sofiène Tahar

Parametry

Kategorie

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

Série: Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikation

Nákup knihy

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

Jazyk
Rok vydání: 1995

Jakmile ji vyčmucháme, pošleme vám e-mail.

Doručení

Platební metody

2021 2022 2023

Navrhnout úpravu