Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Concrete Abstractions

Concrete Abstractions

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031249334
Condition
New
Product Description

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; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a mathematical model checker by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.

Available Colors
Available Sizes
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Jacopo da Firenze's Tractatus Algorismi and Early Italian Abbacus Culture

$109.99

Theory and Applications of Difference Equations and Discrete Dynamical Systems

$109.99

Management by Permission

$69.99

Technologie der Fette und le

$49.99

Advances in Stereology for Neuroscience

$219.99

Nio Wrestles the World

$6.71

Eleventh International Seaweed Symposium

$329.99

Grundkurs Politikwissenschaft: Einfhrung ins wissenschaftliche Arbeiten

$34.99

Artificial Life and Evolutionary Computation

$49.99

Living with the Unexpected

$84.99

Bad Island

$8.24

Us Before Me

$34.99

High-Intensity Ultrasonic Fields

$84.99

Hardware Implementation of Intelligent Systems

$109.99

User Generated Branding

$39.99

Die physikalischen und chemischen Grundlagen der Keramik

$59.99

Innovative Zinspapiere und zinshnliche Anlageprodukte

$49.99

Distributed Applications and Interoperable Systems

$39.99

Security, Privacy and User Interaction

$54.99

Physics and Chemistry of Comets

$39.99

Monoethylene Glycol as Hydrate Inhibitor in Offshore Natural Gas Processing

$54.99

Perinatal Care and Considerations for Survivors of Child Abuse

$44.99

Quality, Reliability, Security and Robustness in Heterogeneous Systems

$99.99

Boden, Bodenfeuchte und Kleinklima als Grundlage fr Bewsserungen

$54.99

Abductive Reasoning

$159.99

Bankbilanzierung und Bankprfung

$59.99

Wavelets

$109.99

bungen zur Technischen Strmungslehre

$44.99

Studien zur grundlegenden Krper- und Bewegungsbildung in Deutschland (Teil 2)

$89.99

Early Literacy Developmental Milestones Collection: Ages 6-12 Months (Spanish)

$170.00

Quantum Machine Learning

$109.00

Semiclassical Methods in Molecular Scattering and Spectroscopy

$84.99

Anstrichstoffe und Anstrichverfahren

$69.95

Klinische Physiologie

$59.99

Nordbrcke Dsseldorf

$74.99

Computer Applications for Bio-technology, Multimedia and Ubiquitous City

$39.99

Proceedings of SIE 2022

$299.99

Machine Learning for Practical Decision Making

$99.00

Database Systems for Advanced Applications

$109.99

Psychologie der Wirtschaft

$79.99