Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics

Вы здесь

Автор:

Huibiao Z.

Bowen J. P.

Jifeng H.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

2002

Ключевые слова:

семантика

Стр.:

P.600-612

Библиография:

Bibliogr.: p.610-611

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Номер:

2495

Карточка:

Б2.24.

Huibiao Z., Bowen J. P., Jifeng H..

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics: Springer// Lecture Notes in Computer Science-2002, №2495.-P.600-612
Bibliogr.: p.610-611

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

PAP25 919