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 - 9783031249365 - 2024年4月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
₺ 2.501
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月16日 - 年12月26日
クリスマスプレゼントは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;

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

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2024年4月13日
ISBN13 9783031249365
出版社 Springer International Publishing AG
ページ数 271
寸法 150 × 220 × 10 mm   ·   435 g
言語 ドイツ語  
すべて表示

Wolfgang Schreinerの他の作品を見る

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