10% de desconto

Concrete Abstractions

Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

de Wolfgang Schreiner
idioma: inglês
Editor: Springer International Publishing AG, abril de 2023 ‧
87,86€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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;

Concrete Abstractions

Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

de Wolfgang Schreiner

Propriedade Descrição
ISBN: 9783031249334
Editor: Springer International Publishing AG
Data de Lançamento: abril de 2023
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 271
Tipo de produto: Livro
Coleção: Texts & Monographs In Symbolic Computation
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9783031249334

LIVROS DA MESMA COLEÇÃO