Вы здесь

Windley P. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying Instruction-Set Architectures in HOL: A Primer 1994 Windley P. J. Lecture Notes in Computer Science 24.11.1994
СТ Toward a Super Duper Hardware Tactic 1994 Aagaard M. D., Leeser M. E., Windley P. J. Lecture Notes in Computer Science 21.06.1994
СТ Abstraction Techniques for Modeling Real-World Interface Chips 1994 Fura D. A., Windley P. J., Somani A. K. Lecture Notes in Computer Science 18.06.1994
СТ A Theory of Generic Interpreters 1993 Windley P. J. Lecture Notes in Computer Science 29.06.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop. Aspen Grove, UT, USA, September 1995 1995 Lecture Notes in Computer Science
  1. Schubert E. T.
  2. Windley P. J.
  3. Alves-Foss J.
27.09.1995