An Introduction to Formal Program Verification

An Introduction to Formal Program Verification

尚無評分
1985 · 英語 · 精裝書
加入書架

評價這本書


出口書籍日誌

描述

Book by Mili Ali

書籍詳情

格式 精裝書
頁數 312 頁
語言 英語
已出版 Jan 1, 1985
出版商 Van Nostrand Reinhold
ISBN-10 0442263228
ISBN-13 9780442263225
加入書架

評價這本書


出口書籍日誌