Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
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,...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| 版: | 1st ed. 2023. |
| シリーズ: | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
|
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-24934-1 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: