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

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

Preço
R$ 439,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

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:

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 165 × 241 × 22 mm   ·   580 g
Idioma Inglês  
Mostrar tudo

Mais por Wolfgang Schreiner

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