Вы здесь
Serpette B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Formal Executable Semantics of the JavaCard Platform | 2001 | Barthe G., Dufay G., Jukabiec L., Serpette B., De Sousa S. M. | Lecture Notes in Computer Science | 28.04.2001 | |||
| СТ | Langages intermediaires pour la compilation de langages fonctionnels | 1991 | Serpette B., Seniak N. | BIGRE | 29.03.1991 | |||
| П | BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic | 1989 | Serpette B., Vuillemin J., Herve J. | Digital | 02.03.1991 |