Вы здесь

Wichmann B. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Strategy on the Use of SPARK 1994 Wichmann B. A. National Physical Lab. Lecture Notes in Computer Science 14.09.1994
СТ A Note on the Use of Floating Point in Critical Systems 1992 Wichmann B. A. The Computer J. 30.07.1993
П PostScript - A study in conformity 1993 Wichmann B. A. National Physical Lab. 18.06.1993
СТ Are Booleans safe? 1993 Wichmann B. A. Ada Letters 28.05.1993
П Approved Ada Uniformity Issues 1991 Kenward P. D., Wichmann B. A. National Physical Lab. 18.05.1991