Вы здесь

A Comparison of Two Verification Methods for Speculative Instruction Execution

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.487-502.
Библиография: 
Bibliogr.: p.501-502
Издательство: 
Том: 
1785
Карточка: 

Б2.23, Б3.54.

Arons T., Pnueli A..

A Comparison of Two Verification Methods for Speculative Instruction Execution: Springer// Lecture Notes in Computer Science-2000.-Vol. 1785.-P.487-502.
Bibliogr.: p.501-502

Таблица в старой библиотеке: 
PAP21 275