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

Optimale Steuerung der Lieferantenentwicklung

$64.99

Transgenic Maize

$109.99

ECUMICT 2014

$169.00

Basophils and Mast Cells

$109.99

Geomechanics, Fluid Dynamics and Well Testing, Applied to Naturally Fractured Carbonate Reservoirs

$129.99

Third World Citizens and the Information Technology Revolution

$54.99

Textbook on Scar Management

$59.99

The Singular Politics of Derrida and Baudrillard

$54.99

Oxygen and the Evolution of Life

$84.99

Nuclear Technologies in a Sustainable Energy System

$84.99

Theorie und Anwendung der Laplace-Transformation

$44.99

Fly Guy's Big Family (Fly Guy #17) (Hardcover)

$5.99

DNA Topoisomerases

$109.99

Geschichte der griechischen Literatur

$54.99

Zygmunt Bauman

$49.99

Self-Assembled Molecules New Kind of Protein Ligands

$59.99

Single-Sided NMR

$129.00

Hairy Roots

$169.99

Grundlagenuntersuchungen ber den Stoffaustausch zwischen flssigem Eisen und Schlacke beim Sprhraf

$59.99

Medicinal and Aromatic Plants

$169.99

Protection Challenges in Meeting Increasing Electric Power Demand

$129.99

Intercultural Interaction

$109.99

Spatial Stochastic Processes

$84.99

The Vested Outsourcing Manual

$129.99

Volkskrankheit Depression?

$119.99

Sorghum

$169.99

Produktions- und Kostentheorie

$29.99

Market Timing and Moving Averages

$99.00

Der Konsument

$17.99

Engineering Thermofluids

$249.99

Prediction Techniques for Renewable Energy Generation and Load Demand Forecasting

$179.99

Einstein Anderson Science Geek: The Mighty Ants

$3.71

Computer Vision ECCV 2020

$84.99

Quantum Methods with Mathematica

$109.99

Macrosocial Determinants of Population Health

$169.99

Tissue Engineering

$109.99

The Epistemology of Conversation

$119.99

Complex Analysis and Applications

$109.99

Rehabilitationspsychologie

$34.99

The Achilles Tendon

$199.99