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 - 9783031249334 - 12 de abril de 2023
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
₪ 285
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 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;

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 12 de abril de 2023
ISBN13 9783031249334
Editoras Springer International Publishing AG
Páginas 271
Dimensões 594 g
Idioma English  
Mostrar tudo

Mais por Wolfgang Schreiner

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