Limit this search to....

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker 2023 Edition
Contributor(s): Schreiner, Wolfgang (Author)
ISBN: 3031249364     ISBN-13: 9783031249365
Publisher: Springer
OUR PRICE:   $56.99  
Product Type: Paperback
Published: April 2024
Qty:
Temporarily out of stock - Will ship within 2 to 5 weeks
Additional Information
BISAC Categories:
- Computers | Computer Science
- Mathematics | Applied
- Mathematics | Numerical Analysis
Physical Information: 271 pages