Publisher's Synopsis
Concrete Abstractions
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms With the RISCAL Model Checker
Paperback (12 Apr 2023) | German
- $54.47
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Other formats/editions
Check stock
Book information
| ISBN: | 9783031249358 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 12 Apr 2023 |
| Language: | German |
| Number of pages: | 284 |
| Weight: | 403g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$8.74off
Quick Start Guide to Large Lang...
Paperback
Published 03 Oct 2023
Save $8.74
RRP $48.73- $39.99
$2.47off
Fieldbus and Networking in Proc...
Paperback
Published 25 Sep 2023
Save $2.47
RRP $59.00- $56.53
