Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation - Wolfgang Schreiner - Livros - Springer International Publishing AG - 9783031249365 - 13 de abril de 2024
Caso a capa e o título não sejam correspondentes, considere o título como correto

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

Wolfgang Schreiner

Preço
Mex$ 1.119
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 9 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker - Texts & Monographs in Symbolic Computation 2023 edition

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;

271 pages, 53 Illustrations, color; 26 Illustrations, black and white; XII, 271 p. 79 illus., 53 ill

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de abril de 2024
ISBN13 9783031249365
Editoras Springer International Publishing AG
Páginas 271
Dimensões 435 g
Idioma German  
Mostrar tudo

Mais por Wolfgang Schreiner

Ver tudo de Wolfgang Schreiner ( por exemplo Paperback Book , Hardcover Book e Book )