Вы здесь
Berry G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Theory and Practice of Sequential Algorithms: The Kernel of the Applicative Language CDS | 1983 | Berry G., Curien P. -L. | INRIA | 26.04.2003 | |||
| П | Reactive Systems | 1992 | Berry G. | Techn.Univ.Munchen | 04.12.1999 | |||
| СТ | Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs | 1997 | Berry G. | Lecture Notes in Computer Science | 12.04.1997 | |||
| П | On the Definition of Lambda-Calculus Models | 1980 | Berry G. | INRIA | 01.06.1995 | |||
| П | The Chemical Abstract Machine | 1989 | Berry G., Boudol G. | INRIA | 01.06.1995 | |||
| П | Projet SYNCHRONE. Les formats communs des langages syncrones | 1993 | Paris J. -P., Berry G., Mignard F., Couronne P., Caspi P., Halbwachs N., Sorel Y., Benveniste A., Gautier T., Le Guernic P., Dupont F., Le Maire C. | INRIA | 27.01.1994 | |||
| П | A Hardware Implementation of Pure Esterel | 1991 | Berry G. | Digital | 27.08.1992 | |||
| СТ | Concurrent Abstract Machines | 1991 | Berry G. | Lecture Notes in Computer Science | 18.05.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Coputer Aided Verification: Proc./13th Intern. Conf., CAV 2001, Paris, France, July 2001 | 2001 | Lecture Notes in Computer Science |
|
04.08.2001 |