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
この人物を:
書棚を選択して下さい
mixiチェック
ツイート
NACSIS-CAT著者名典拠
日本の古本屋(全国古書検索)
想-IMAGINE Book Search(関連情報検索)
情報を取得できませんでした。
件が連想されています
情報を取得できませんでした。
ページトップへ
トップページ
Webcat Plusとは?
FAQ