Вы здесь

Kurki-Suonio R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Machine and Language Design for Dynamic Microprogramming 1980 Heinanen J., Karjalainen M., Kurki-Suonio R. Univ. of Tampere 27.04.2002
СТ Stepwise Design of Real-Time Systems 1991 Kurki-Suonio R. Software Engineering Notes 03.04.1992
СТ Hybrid Models with Fairness and Distributed Clocks 1993 Kurki-Suonio R. Lecture Notes in Computer Science 09.12.1993
СТ Incremental Specification with Joint Actions: The RPC-Memory Specification Problem 1996 Kurki-Suonio R. Lecture Notes in Computer Science 24.12.1996
СТ Liberating Object-Oriented Modeling from Programming-Level Abstractions 1998 Kurki-Suonio R., Mikkonen T. Lecture Notes in Computer Science 27.02.1998
СТ Component and Interface Refinement in Closed-System Specification 1999 Kurki-Suonio R. Lecture Notes in Computer Science 30.10.1999