Вы здесь
Grundy J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Inconsistency Management for Multiple-View Software Development Environments | 1998 | Grundy J., Hosking J., Mugridge W. B. | IEEE Transactions on Software Engineering | 28.01.1999 | |||
| СТ | Predicative Programming - A Survey | 1993 | Grundy J. | Lecture Notes in Computer Science | 20.11.1993 | |||
| СТ | A Three-Valued Logic for Refinement | 1993 | Grundy J. | Lecture Notes in Computer Science | 20.11.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Early Aspects: Current Challenges and Future Directions: Revised Selected Papers/10th International Workshop. Vancouver, Canada, March 2007 | 2007 | Lecture Notes in Computer Science |
|
05.03.2008 | |||
| СБ | Theorem Proving in Higher Order Logics: Proc./11th Intern. Conf., TPHOLs 98. Canberra, Australia, September-October 1998 | 1998 | Lecture Notes in Computer Science |
|
15.10.1998 | |||
| СБ | Theorem Proving in Higher Order Logics: Proc./9th International Conference, TPHOLs 96. Turku, Finland, August 1996 | 1996 | Lecture Notes in Computer Science |
|
17.09.1996 |