Reihe Theoretical Computer Science and General IssuesMikhail Kovalev × A Pipelined Multi-core MIPS MachineHardware Implementation and Correctness ProofMikhail KovalevSpringer International PublishingSoftcover201453,49 € A Pipelined Multi-core MIPS MachineHardware Implementation and Correctness ProofMikhail KovalevSpringer International PublishingeBook2014
