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
棚に追加

この本を評価する


ブックジャーナルをエクスポート