Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - 書籍 - Springer International Publishing AG - 9783031249334 - 2023年4月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Wolfgang Schreiner
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

価格
₪ 259
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

他の形態でも入手可能：

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software. The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;

270 pages, 53 Illustrations, color; 26 Illustrations, black and white; XII, 270 p. 79 illus., 53 ill

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2023年4月12日
ISBN13 9783031249334
出版社 Springer International Publishing AG
ページ数 271
寸法 165 × 241 × 22 mm   ·   580 g
言語 英語  
すべて表示

Wolfgang Schreinerの他の作品を見る

Wolfgang Schreinerのすべてを見る ( 例： Hardcover Book , Paperback Book および Book )