Alves-Foss, James   (1964-)

この人物の情報

人物別名 James Alves-Foss

Foss, James Alves-
生年 1964年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Formal syntax and semantics of Java Jim Alves-Foss (ed.) Springer
c1999
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.) Springer-Verlag
c1995
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想