The foundations of program verification  Wiley ~ Teubner

Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer

この本の情報

書名 The foundations of program verification
著作者等 Loeckx, Jacques
Sieber, Kurt
Stansifer, Ryan D.
シリーズ名 Wiley-Teubner series in computer science
巻冊次 Wiley
Teubner
出版元 B.G. Teubner;Wiley
刊行年月 c1984
ページ数 ix, 230 p.
大きさ 24 cm
ISBN 3519021013
047190323X
NCID BA00044633
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想