Вы здесь
Butterfield A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proving Make Correct: I/O Proofs in Haskell and Clean | 2003 | Dowse M., Strong G., Butterfield A. | Lecture Notes in Computer Science | 19.06.2003 | |||
| СТ | Proving Correctness of Programs with IO - A Paradigm Comparison | 2002 | Butterfield A., Strong G. | Lecture Notes in Computer Science | 18.05.2002 | |||
| СТ | A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics | 1993 | Butterfield A. | Lecture Notes in Computer Science | 27.05.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Unifying Theories of Programming: Revised Selected Papers/ Second International Symposium, UTP 2008, Dublin,Ireland, September 2009 | 2010 | Lecture Notes in Computer Science |
|
21.09.2010 | |||
| СБ | Implementation and Application of Functional Languages: Revised Selected Papers/18th International Symposium, IFL 2006. Budapest, Hungary, September 2006 | 2007 | Lecture Notes in Computer Science |
|
20.11.2007 | |||
| СБ | Implementation and Application of Functional Language: Revised Selected Papers/ 17th International Workshop, IFL 2005 Dublin,Ireland,September 2005 | 2006 | Lecture Notes in Computer Science |
|
23.02.2007 |