Introducing Software Verification with Dafny Language: Proving Program Correctness - Boro Sitnikovski - 書籍 - APress - 9781484279779 - 2022年3月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Boro Sitnikovski
Introducing Software Verification with Dafny Language: Proving Program Correctness 1st edition

価格
₺ 1.483
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月17日 - 年12月29日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

131 pages, 104 Illustrations, black and white; XX, 131 p. 104 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2022年3月1日
ISBN13 9781484279779
出版社 APress
ページ数 131
寸法 150 × 220 × 10 mm   ·   222 g
言語 英語  
すべて表示

Boro Sitnikovskiの他の作品を見る

Boro Sitnikovskiのすべてを見る ( 例： Paperback Book )