67-4966-73 A Pipelined Multi-Core Machine with Operating System Support 978-3-030-43242-3
仕様
- サブタイトル:Hardware Implementation and Correctness Proof
- 著者:Lutsyk, Petro/Oberhauser, Jonas/Paul, Wolfgang J.
- 叢書名:Lecture Notes in Computer Science
- Vol. 9999
- 装丁:Paper
- 頁数他:XV, 628 p.
- 発行日:2020/05/10
- 分類:プログラム技法