Вы здесь
Taylor C.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Case Study in Partial Specification: Consistency and Refinement for Object-Z | 2000 | Taylor C., Derrick J., Boiten E. | Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 | 26.12.2000 | |||
СТ | A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications | 1994 | Argade P. V., Charles D. K., Taylor C. | SIGPLAN Notices | 10.02.1995 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Information Processig in Medical Imaging: Proc./18th Intern. Conf., IPMI 2003, Ambleside, UK, July 2003 | 2003 | Lecture Notes in Computer Science |
|
19.09.2003 |