Вы здесь

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