Вы здесь

Claessen K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang 2005 Arts Th., Claessen K., Svensson H. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ Testing and Tracing Lazy Functional Programs Using GuickCheck and Hat 2003 Claessen K., Runciman C., Chitil O., Hughes J., Wallace M. Lecture Notes in Computer Science 06.06.2003
СТ Structuring Graphical Paradigms in TkGofer 1997 Claessen K., Vullinghs T., Meijer E. SIGPLAN Notices 01.10.1997