An introduction to formal program verification

Ali Mili

この本の情報

書名 An introduction to formal program verification
著作者等 Mili, Ali
出版元 Van Nostrand Reinhold Co.
刊行年月 c1985
ページ数 xii, 291 p.
大きさ 24 cm
ISBN 0442263228
NCID BA00040472
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想