Concrete Abstractions Image close
Concrete Abstractions on Hardback by Wolfgang Schreiner
Concrete Abstractions on Hardback by Wolfgang Schreiner
Show Hide Adult Content
Concrete Abstractions close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Concrete Abstractions

Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$228.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $57.00 with Afterpay Learn more

6 weekly interest-free payments of $38.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 14-26 June using International Courier

Explore more Texts and Monographs in Symbolic Computation,

See all products in this series

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
$292.00
Algorithmic Combinatorics: Enumerative Combinatorics, Special...
Paperback / softback
Available - Usually ships in 3-4 weeks
The Concrete Tetrahedron on Paperback by Manuel Kauers
$213.00
The Concrete Tetrahedron
by Manuel Kauers ~ Paperback
Available - Usually ships in 3-4 weeks
Computer-supported Calculus on Hardback by Adi Ben-Israel
$281.00
Computer-supported Calculus
by Adi Ben-Israel ~ Hardback
Available - Usually ships in 3-4 weeks
Integration in Finite Terms: Fundamental Sources on Hardback
$523.00
Integration in Finite Terms: Fundamental Sources
Hardback
Available - Usually ships in 3-4 weeks
Quantifier Elimination and Cylindrical Algebraic Decomposition
$159.00
Quantifier Elimination and Cylindrical Algebraic Decomposition
Paperback / softback
Available - Usually ships in 3-4 weeks
Numerical and Symbolic Scientific Computing
$294.00
Numerical and Symbolic Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Polynomial Algorithms in Computer Algebra by Franz Winkler
$152.00
Polynomial Algorithms in Computer Algebra
by Franz Winkler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra on Hardback
$292.00
Algorithmic Combinatorics: Enumerative Combinatorics, Special...
Hardback
Available - Usually ships in 3-4 weeks
Loewy Decomposition of Linear Differential Equations on Hardback by Fritz Schwarz
$293.00
Loewy Decomposition of Linear Differential Equations
by Fritz Schwarz ~ Hardback
Available - Usually ships in 3-4 weeks
The Symbolic Computation of Integrability Structures for Partial Differential Equations on Hardback by Joseph Krasil'shchik
$318.00
The Symbolic Computation of Integrability Structures for Partial...
by Joseph Krasil'shchik ~ Hardback
Available - Usually ships in 3-4 weeks
Approximate Commutative Algebra
$291.00
Approximate Commutative Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Mechanical Theorem Proving in Geometries by Wen Tsun Wu
$152.00
Mechanical Theorem Proving in Geometries
by Wen Tsun Wu ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Integration in Finite Terms: Fundamental Sources
$523.00
Integration in Finite Terms: Fundamental Sources
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Algebra in Quantum Field Theory on Hardback
$299.00
Computer Algebra in Quantum Field Theory
Hardback
Available - Usually ships in 3-4 weeks
Elimination Methods by D Wang
$293.00
Elimination Methods
by D Wang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
An Introduction to Computational Origami on Hardback by Tetsuo Ida
$523.00
An Introduction to Computational Origami
by Tetsuo Ida ~ Hardback
Available - Usually ships in 3-4 weeks

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.

Author Biography:

Wolfgang Schreiner is an associate professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria. He is working in formal methods of computer science (with previous research in parallel computing and functional programming), and has produced various software packages related to formal semantics, specification, and verification, in particular the RISC ProofNavigator, the RISC ProgramExplorer, and the RISC Algorithm Language (RISCAL). Formerly he directed a degree programme on Computer-based Learning at the Upper Austria University of Applied Sciences in Hagenberg.
Release date NZ
April 12th, 2023
Audience
  • Professional & Vocational
Edition
1st ed. 2023
Illustrations
53 Illustrations, color; 26 Illustrations, black and white; XII, 271 p. 79 illus., 53 illus. in color.
Pages
271
ISBN-13
9783031249334
Product ID
36338077

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Wolfgang Schreiner

See all books by this author

Thinking Programs on Hardback by Wolfgang Schreiner
$292.00
Thinking Programs
by Wolfgang Schreiner ~ Hardback
Available - Usually ships in 3-4 weeks
Thinking Programs by Wolfgang Schreiner
$216.00
Thinking Programs
by Wolfgang Schreiner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Security and Privacy Management in Service Oriented Architectures by Wolfgang Schreiner
$203.00
Security and Privacy Management in Service Oriented Architectures
by Wolfgang Schreiner ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Calculus & mathematical analysis >
Infinite series
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists