Challenges of Software Verification - Intelligent Systems Reference Library - Vincenzo Arceri - 書籍 - Springer Verlag, Singapore - 9789811996009 - 2023年7月25日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Vincenzo Arceri
Challenges of Software Verification - Intelligent Systems Reference Library 2023 edition

価格
¥ 25.854
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月11日 - 年11月23日
クリスマスプレゼントは1月31日まで返品可能です
Vincenzo Arceri の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2023年7月25日
ISBN13 9789811996009
出版社 Springer Verlag, Singapore
ページ数 264
寸法 241 × 163 × 22 mm   ·   536 g
言語 英語  
編集者 Arceri, Vincenzo
編集者 Cortesi, Agostino
編集者 Ferrara, Pietro
編集者 Olliaro, Martina

同じ出版社からのその他の記事

Vincenzo Arceriのすべてを見る