Sieber, Kurt

この人物の情報

人物別名 Kurt Sieber
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
The foundations of program verification Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer B.G. Teubner
Wiley
c1987
The foundations of program verification Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer B.G. Teubner
Wiley
c1984
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

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

ウィキペディアから連想